Skip to content

Set up Dependabot to update GitHub Actions #1772

Set up Dependabot to update GitHub Actions

Set up Dependabot to update GitHub Actions #1772

Triggered via pull request January 24, 2024 09:38
Status Success
Total duration 2m 45s
Artifacts 1

manual.yml

on: pull_request
compile and upload manual
2m 35s
compile and upload manual
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
Semigroups manual Expired
4.28 MB