Skip to content

Actions: Mathletesv/eq_mod_cast

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 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
Better documentation Lean Action CI #9: Commit c91a027 pushed by Mathletesv
12m 30s main
main
12m 30s
Added struct handling Lean Action CI #8: Commit 039e49f pushed by Mathletesv
11m 22s main
main
11m 22s
Cleaned up config arguments Lean Action CI #7: Commit 0a7b7bd pushed by Mathletesv
9m 30s main
main
9m 30s
Cleaned up config arguments Lean Action CI #6: Commit 0a7b7bd pushed by Mathletesv
11m 17s main
main
11m 17s
Fixed fvar scope bug Lean Action CI #5: Commit 046f428 pushed by Mathletesv
10m 3s main
main
10m 3s
Equalities optimization Lean Action CI #4: Commit 3f88557 pushed by Mathletesv
12m 5s main
main
12m 5s
Major completeness improvements Lean Action CI #3: Commit f2746bf pushed by Mathletesv
8m 58s main
main
8m 58s
Merge branch 'main' of github.com:Mathletesv/eq_mod_cast Lean Action CI #2: Commit 41e76c3 pushed by Mathletesv
1h 43m 56s main
main
1h 43m 56s
Added license Lean Action CI #1: Commit 7d12f80 pushed by Mathletesv
1h 42m 45s main
main
1h 42m 45s
Initial tactic (Unnamed workflow) #1: Commit 74973ad pushed by Mathletesv
Startup failure main
main
Startup failure