Skip to content

Merge pull request #3217 from seqan/dependabot/github_actions/actions… #95

Merge pull request #3217 from seqan/dependabot/github_actions/actions…

Merge pull request #3217 from seqan/dependabot/github_actions/actions… #95

Triggered via push December 11, 2023 21:14
Status Success
Total duration 1m 27s
Artifacts
Fit to window
Zoom out
Zoom in