Skip to content

Set up Dependabot to update GitHub Actions #1774

Set up Dependabot to update GitHub Actions

Set up Dependabot to update GitHub Actions #1774

Triggered via push January 24, 2024 10:21
Status Success
Total duration 3m 13s
Artifacts 1

manual.yml

on: push
compile and upload manual
3m 3s
compile and upload manual
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
Semigroups manual Expired
4.28 MB