Skip to content

Actions: anoma/goose-lean

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Add runnable resource machine model Lean Action CI #1182: Pull request #126 synchronize by janmasrovira
1m 52s runnable-rm
runnable-rm
1m 52s
fix: check consistency of sub-objects Lean Action CI #1181: Pull request #128 synchronize by lukaszcz
1m 49s consistency-of-sub-object-values
consistency-of-sub-object-values
1m 49s
fix: check consistency of sub-objects Lean Action CI #1180: Pull request #128 synchronize by lukaszcz
1m 19s consistency-of-sub-object-values
consistency-of-sub-object-values
1m 19s
fix: check consistency of sub-objects Lean Action CI #1179: Pull request #128 opened by lukaszcz
1m 25s consistency-of-sub-object-values
consistency-of-sub-object-values
1m 25s
feat: Add runnable resource machine model Lean Action CI #1178: Pull request #126 synchronize by janmasrovira
1m 41s runnable-rm
runnable-rm
1m 41s
feat: Add runnable resource machine model Lean Action CI #1177: Pull request #126 synchronize by janmasrovira
1m 51s runnable-rm
runnable-rm
1m 51s
fix: consistency of nested method calls (#127) Lean Action CI #1176: Commit 8dc5f2b pushed by lukaszcz
1m 46s main
main
1m 46s
fix: consistency of nested method calls Lean Action CI #1175: Pull request #127 synchronize by lukaszcz
1m 49s consistency-of-nested-method-calls
consistency-of-nested-method-calls
1m 49s
fix: consistency of nested method calls Lean Action CI #1174: Pull request #127 synchronize by lukaszcz
1m 42s consistency-of-nested-method-calls
consistency-of-nested-method-calls
1m 42s
fix: consistency of nested method calls Lean Action CI #1173: Pull request #127 synchronize by lukaszcz
1m 46s consistency-of-nested-method-calls
consistency-of-nested-method-calls
1m 46s
fix: consistency of nested method calls Lean Action CI #1172: Pull request #127 opened by lukaszcz
3m 1s consistency-of-nested-method-calls
consistency-of-nested-method-calls
3m 1s
feat: Add runnable resource machine model Lean Action CI #1171: Pull request #126 opened by janmasrovira
19m 35s runnable-rm
runnable-rm
19m 35s
fix: Require authorization from the check owner (#125) Lean Action CI #1170: Commit bd3e7de pushed by lukaszcz
1m 19s main
main
1m 19s
fix: Require authorization from the check owner Lean Action CI #1169: Pull request #125 opened by janmasrovira
1m 34s fix-authorization-check
fix-authorization-check
1m 34s
docs: summary update - function invocation (#124) Lean Action CI #1168: Commit a2d581e pushed by lukaszcz
1m 39s main
main
1m 39s
docs: summary update - function invocation Lean Action CI #1167: Pull request #124 synchronize by lukaszcz
1m 55s summary-update
summary-update
1m 55s
feat: more examples (#122) Lean Action CI #1166: Commit e4673e6 pushed by lukaszcz
1m 55s main
main
1m 55s
docs: summary update - function invocation Lean Action CI #1165: Pull request #124 opened by lukaszcz
1m 41s summary-update
summary-update
1m 41s
feat: more examples Lean Action CI #1164: Pull request #122 synchronize by lukaszcz
1m 39s more-examples
more-examples
1m 39s
feat: more examples Lean Action CI #1163: Pull request #122 synchronize by lukaszcz
1m 25s more-examples
more-examples
1m 25s
feat: Scopes (#118) Lean Action CI #1162: Commit 1b4e0a5 pushed by lukaszcz
2m 33s main
main
2m 33s
feat: Scopes Lean Action CI #1161: Pull request #118 synchronize by lukaszcz
1m 15s scope
scope
1m 15s
feat: Scopes Lean Action CI #1160: Pull request #118 synchronize by lukaszcz
2m 30s scope
scope
2m 30s
feat: more examples Lean Action CI #1159: Pull request #122 synchronize by lukaszcz
1m 15s more-examples
more-examples
1m 15s
feat: more examples Lean Action CI #1158: Pull request #122 synchronize by lukaszcz
1m 13s more-examples
more-examples
1m 13s