Skip to content

Merge pull request #316 from tweag/dependabot/github_actions/actions/… #69

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

Merge pull request #316 from tweag/dependabot/github_actions/actions/… #69

Triggered via push October 5, 2023 08:12
Status Success
Total duration 1m 5s
Artifacts

ci.yml

on: push
Fit to window
Zoom out
Zoom in