Skip to content

Actions: anoma/goose-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,233 workflow runs
1,233 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update Lean to 4.24 Lean Action CI #1233: Pull request #134 opened by janmasrovira
4m 24s lean-4.24
lean-4.24
4m 24s
add ci Lean Action CI #1232: Commit 58bc77b pushed by janmasrovira
Failure debug
debug
Failure
Debug Lean Action CI #1231: Pull request #132 synchronize by janmasrovira
1m 39s debug
debug
1m 39s
Debug Lean Action CI #1230: Pull request #132 synchronize by janmasrovira
2m 16s debug
debug
2m 16s
Debug Lean Action CI #1229: Pull request #132 synchronize by janmasrovira
2m 3s debug
debug
2m 3s
Debug Lean Action CI #1228: Pull request #132 synchronize by janmasrovira
2m 4s debug
debug
2m 4s
Debug Lean Action CI #1227: Pull request #132 synchronize by janmasrovira
2m 11s debug
debug
2m 11s
Debug Lean Action CI #1226: Pull request #132 synchronize by janmasrovira
2m 55s debug
debug
2m 55s
fix: authorization (#130) Lean Action CI #1225: Commit e4a01b9 pushed by lukaszcz
1m 59s main
main
1m 59s
fix: authorization Lean Action CI #1224: Pull request #130 synchronize by lukaszcz
1m 57s fix-authorization
fix-authorization
1m 57s
feat: Add runnable resource machine model (#126) Lean Action CI #1223: Commit 567f384 pushed by lukaszcz
2m 38s main
main
2m 38s
feat: Add runnable resource machine model Lean Action CI #1222: Pull request #126 synchronize by janmasrovira
1m 18s runnable-rm
runnable-rm
1m 18s
feat: Add runnable resource machine model Lean Action CI #1221: Pull request #126 synchronize by janmasrovira
1m 42s runnable-rm
runnable-rm
1m 42s
feat: Add runnable resource machine model Lean Action CI #1220: Pull request #126 synchronize by janmasrovira
1m 43s runnable-rm
runnable-rm
1m 43s
Debug Lean Action CI #1219: Pull request #132 synchronize by janmasrovira
1m 58s debug
debug
1m 58s
Debug Lean Action CI #1218: Pull request #132 opened by janmasrovira
3m 13s debug
debug
3m 13s
feat: Add runnable resource machine model Lean Action CI #1217: Pull request #126 synchronize by janmasrovira
1m 50s runnable-rm
runnable-rm
1m 50s
feat: Add runnable resource machine model Lean Action CI #1216: Pull request #126 synchronize by janmasrovira
1m 20s runnable-rm
runnable-rm
1m 20s
feat: Add runnable resource machine model Lean Action CI #1215: Pull request #126 synchronize by lukaszcz
1m 19s runnable-rm
runnable-rm
1m 19s
feat: Add runnable resource machine model Lean Action CI #1214: Pull request #126 synchronize by lukaszcz
1m 55s runnable-rm
runnable-rm
1m 55s
Add Gusto DSL Lean Action CI #1213: Pull request #131 synchronize by jonaprieto
2m 0s jonaprieto/syntax-enhancements
jonaprieto/syntax-enhancements
2m 0s
Add Gusto DSL Lean Action CI #1212: Pull request #131 synchronize by jonaprieto
1m 22s jonaprieto/syntax-enhancements
jonaprieto/syntax-enhancements
1m 22s
Add Gusto DSL Lean Action CI #1211: Pull request #131 synchronize by jonaprieto
2m 5s jonaprieto/syntax-enhancements
jonaprieto/syntax-enhancements
2m 5s
Add Gusto DSL Lean Action CI #1210: Pull request #131 synchronize by jonaprieto
1m 21s jonaprieto/syntax-enhancements
jonaprieto/syntax-enhancements
1m 21s
Add Gusto DSL Lean Action CI #1209: Pull request #131 synchronize by jonaprieto
1m 8s jonaprieto/syntax-enhancements
jonaprieto/syntax-enhancements
1m 8s