Skip to content

Merge pull request #3219 from seqan/dependabot/github_actions/actions… #31

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

Merge pull request #3219 from seqan/dependabot/github_actions/actions… #31

Triggered via push December 18, 2023 22:57
Status Success
Total duration 2m 8s
Artifacts
Deploy Documentation
1m 59s
Deploy Documentation
Fit to window
Zoom out
Zoom in