Skip to content

Merge pull request #386 from tweag/dependabot/github_actions/actions/… #123

Merge pull request #386 from tweag/dependabot/github_actions/actions/…

Merge pull request #386 from tweag/dependabot/github_actions/actions/… #123

Triggered via push June 19, 2026 10:02
Status Success
Total duration 16s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in