Skip to content

Actions: anoma/goose-lean

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
feat: more examples Lean Action CI #1157: Pull request #122 synchronize by lukaszcz
1m 19s more-examples
more-examples
1m 19s
feat: more examples Lean Action CI #1156: Pull request #122 synchronize by lukaszcz
1m 49s more-examples
more-examples
1m 49s
feat: more examples Lean Action CI #1155: Pull request #122 synchronize by lukaszcz
2m 5s more-examples
more-examples
2m 5s
feat: more examples Lean Action CI #1154: Pull request #122 synchronize by lukaszcz
1m 21s more-examples
more-examples
1m 21s
fix: correct IDs in constructed objects in multi-methods (#123) Lean Action CI #1153: Commit 9940d2b pushed by lukaszcz
1m 58s main
main
1m 58s
fix: correct IDs in constructed objects in multi-methods Lean Action CI #1152: Pull request #123 opened by lukaszcz
1m 42s fix-multi-method-constructed
fix-multi-method-constructed
1m 42s
feat: more examples Lean Action CI #1151: Pull request #122 opened by lukaszcz
1m 28s more-examples
more-examples
1m 28s
feat: Scopes Lean Action CI #1150: Pull request #118 synchronize by janmasrovira
1m 27s scope
scope
1m 27s
feat: Scopes Lean Action CI #1149: Pull request #118 synchronize by janmasrovira
1m 20s scope
scope
1m 20s
feat: Scopes Lean Action CI #1148: Pull request #118 synchronize by janmasrovira
1m 29s scope
scope
1m 29s
feat: Scopes Lean Action CI #1147: Pull request #118 synchronize by janmasrovira
1m 39s scope
scope
1m 39s
feat: Scopes Lean Action CI #1146: Pull request #118 synchronize by janmasrovira
2m 15s scope
scope
2m 15s
feat: Scopes Lean Action CI #1145: Pull request #118 synchronize by janmasrovira
1m 56s scope
scope
1m 56s
feat: Scopes Lean Action CI #1144: Pull request #118 synchronize by janmasrovira
1m 23s scope
scope
1m 23s
feat: Scopes Lean Action CI #1143: Pull request #118 synchronize by janmasrovira
2m 18s scope
scope
2m 18s
Minor refactor (#120) Lean Action CI #1142: Commit 4bb09c6 pushed by janmasrovira
1m 49s main
main
1m 49s
feat: Scopes Lean Action CI #1141: Pull request #118 synchronize by janmasrovira
1m 43s scope
scope
1m 43s