Skip to content

Actions: Vierkantor/equational_theories

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Dependencies
Update Dependencies #9: Scheduled
1m 43s main
Update Dependencies
Update Dependencies #8: Scheduled
1m 44s main
Update Dependencies
Update Dependencies #7: Scheduled
1m 46s main
Update Dependencies
Update Dependencies #6: Scheduled
1m 44s main
Update Dependencies
Update Dependencies #5: Scheduled
1m 43s main
Update Dependencies
Update Dependencies #4: Scheduled
1m 44s main
Update Dependencies
Update Dependencies #3: Scheduled
1m 42s main
Pace-nielsen (#1252)
Compile blueprint and paper #9: Commit 2b6604d pushed by Vierkantor
1h 11m 21s main
Update Dependencies
Update Dependencies #2: Scheduled
1m 43s main
Use docgen action.
Compile blueprint and paper #8: Commit 17c74f4 pushed by Vierkantor
1h 31m 58s main
Try again (again!)
Compile blueprint and paper #7: Commit e2429b3 pushed by Vierkantor
2m 40s main
Try again (again!)
Create Release #1: Commit e2429b3 pushed by Vierkantor
11s main
Try again (again!)
Compile blueprint and paper #6: Commit 50200c0 pushed by Vierkantor
1h 30m 14s main
Revert "Check write access to id token."
Compile blueprint and paper #5: Commit 265023e pushed by Vierkantor
1h 32m 1s main
Check write access to id token.
Compile blueprint and paper #4: Commit 4d8d24f pushed by Vierkantor
23m 1s main
Trivial change to try with new action.
Compile blueprint and paper #3: Commit 774c80f pushed by Vierkantor
46m 6s main
ci: try building with the docgen-action.
Compile blueprint and paper #2: Commit defdd58 pushed by Vierkantor
46m 33s main
Update Dependencies
Update Dependencies #1: Scheduled
2m 19s main
Updates available and ready to merge (#1239)
Compile blueprint and paper #1: Commit 4eb4bc1 pushed by Vierkantor
1h 33m 39s main