Skip to content

Actions: notch1p/tigris

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
329 workflow runs
329 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
Update Toolchain Update Toolchain #236: Scheduled
13s cwc
cwc
13s
fix(typing): unsolved MVs blocking arrow shape Lean Action CI #191: Commit 94f8e78 pushed by notch1p
1m 45s pratt
pratt
1m 45s
chore: rewrite decidable conditionals in fear of ac and em Lean Action CI #190: Commit af2a83b pushed by notch1p
1m 14s pratt
pratt
1m 14s
feat: unification up to eta-equivalence. Lean Action CI #189: Commit e75f07d pushed by notch1p
4m 55s pratt
pratt
4m 55s
feat: unification up to eta-equivalence. Lean Action CI #188: Commit 3027ff9 pushed by notch1p
9m 46s pratt
pratt
9m 46s
Update Toolchain Update Toolchain #235: Scheduled
12s cwc
cwc
12s
feat(Tigrisi): #synth command just like Lean Lean Action CI #187: Commit b86d50a pushed by notch1p
1m 32s pratt
pratt
1m 32s
feat(Tigrisi): #synth command just like Lean Lean Action CI #186: Commit 54a3eae pushed by notch1p
1m 46s pratt
pratt
1m 46s
chore(Tigrisi): added limited FFI functionality Lean Action CI #185: Commit e47a410 pushed by notch1p
2m 6s pratt
pratt
2m 6s
chore(Tigrisi): added limited FFI functionality Lean Action CI #184: Commit 00a687d pushed by notch1p
1m 34s pratt
pratt
1m 34s
chore: dumb dumb Lean Action CI #183: Commit 535778e pushed by notch1p
1m 15s pratt
pratt
1m 15s
chore: dumb dumb Lean Action CI #182: Commit 57d61fc pushed by notch1p
1m 23s pratt
pratt
1m 23s
feat(Tigrisi): actual interpreter/REPL targeting TCNF Lean Action CI #181: Commit 2c8d08b pushed by notch1p
1m 15s pratt
pratt
1m 15s
feat(Tigrisi): actual interpreter/REPL targeting TCNF Lean Action CI #179: Commit 206f874 pushed by notch1p
2m 18s pratt
pratt
2m 18s
feat(parsing): (mixed-flavored) aligned layout parsing fix Lean Action CI #178: Commit 9e98740 pushed by notch1p
2m 1s pratt
pratt
2m 1s
feat(TCNF): experimental incremental lowering API Lean Action CI #177: Commit 6287501 pushed by notch1p
43s pratt
pratt
43s
feat(TCNF): experimental incremental lowering API Lean Action CI #176: Commit 918d84a pushed by notch1p
4m 7s pratt
pratt
4m 7s
Update Toolchain Update Toolchain #234: Scheduled
8s cwc
cwc
8s
Update Toolchain Update Toolchain #233: Scheduled
15m 3s cwc
cwc
15m 3s
Update Toolchain Update Toolchain #232: Scheduled
12s cwc
cwc
12s
Update Toolchain Update Toolchain #231: Scheduled
9s cwc
cwc
9s
Update Toolchain Update Toolchain #230: Scheduled
12s cwc
cwc
12s
Update Toolchain Update Toolchain #229: Scheduled
11s cwc
cwc
11s
Update Toolchain Update Toolchain #228: Scheduled
12s cwc
cwc
12s
Update Toolchain Update Toolchain #227: Scheduled
9s cwc
cwc
9s