Skip to content

Merge pull request #80 from lip6/dependabot/github_actions/JamesIves/… #558

Merge pull request #80 from lip6/dependabot/github_actions/JamesIves/…

Merge pull request #80 from lip6/dependabot/github_actions/JamesIves/… #558

Triggered via push September 25, 2023 14:50
Status Success
Total duration 5m 46s
Artifacts

build.yml

on: push
Fit to window
Zoom out
Zoom in