Skip to content

Actions: reilabs/freigen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
86 workflow runs
86 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
remove zmods Lean Action CI #86: Commit 4da0504 pushed by kustosz
2m 10s main
main
2m 10s
pre-review Reflector Lean Action CI #85: Commit 9d4cad9 pushed by kustosz
2m 24s main
main
2m 24s
mainline new version Lean Action CI #84: Commit b6377ff pushed by kustosz
3m 18s main
main
3m 18s
Reflector Lean Action CI #83: Commit 6acd968 pushed by kustosz
4m 59s main
main
4m 59s
unify sigs in ITree Lean Action CI #82: Commit 0f896a5 pushed by kustosz
7m 10s main
main
7m 10s
unify all effs Lean Action CI #81: Commit 875003c pushed by kustosz
6m 1s main
main
6m 1s
Universe flattening Lean Action CI #80: Commit ddcf716 pushed by kustosz
5m 1s main
main
5m 1s
lawful monad for ITree2 Lean Action CI #79: Commit 2063e64 pushed by kustosz
6m 3s main
main
6m 3s
bring back examples Lean Action CI #78: Commit 51a1a70 pushed by kustosz
6m 8s main
main
6m 8s
ITree2 (#8) Lean Action CI #77: Commit f2c32b0 pushed by kustosz
5m 42s main
main
5m 42s
ITree2 Lean Action CI #76: Pull request #8 synchronize by kustosz
5m 56s some-fixes
some-fixes
5m 56s
Merge branch 'main' into some-fixes Lean Action CI #75: Commit f890a90 pushed by kustosz
6m 1s some-fixes
some-fixes
6m 1s
boop Lean Action CI #74: Commit c108a07 pushed by kustosz
6m 19s some-fixes
some-fixes
6m 19s
boop Lean Action CI #73: Commit 17c3ee4 pushed by kustosz
6m 18s some-fixes
some-fixes
6m 18s
Better recursion (#7) Lean Action CI #72: Commit 663b9ba pushed by kustosz
6m 27s main
main
6m 27s
Better recursion Lean Action CI #71: Pull request #7 synchronize by kustosz
1m 56s some-fixes
some-fixes
1m 56s
boop Lean Action CI #70: Commit 0ac9976 pushed by kustosz
6m 11s some-fixes
some-fixes
6m 11s
Better recursion Lean Action CI #69: Pull request #7 synchronize by kustosz
2m 11s some-fixes
some-fixes
2m 11s
boop Lean Action CI #68: Commit 136013e pushed by kustosz
6m 12s some-fixes
some-fixes
6m 12s
Better recursion Lean Action CI #67: Pull request #7 synchronize by kustosz
1m 57s some-fixes
some-fixes
1m 57s
boop Lean Action CI #66: Commit 6fcaaf2 pushed by kustosz
1m 40s some-fixes
some-fixes
1m 40s
Better recursion Lean Action CI #65: Pull request #7 synchronize by kustosz
2m 46s some-fixes
some-fixes
2m 46s
boop Lean Action CI #64: Commit e0cac7f pushed by kustosz
2m 27s some-fixes
some-fixes
2m 27s
Better recursion Lean Action CI #63: Pull request #7 opened by kustosz
2m 22s some-fixes
some-fixes
2m 22s
boop Lean Action CI #62: Commit 6773e3b pushed by kustosz
3m 5s some-fixes
some-fixes
3m 5s