Skip to content

Actions: wvhulle/ennreal-arith

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
70 workflow runs
70 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
Running Copilot Copilot #1: by Copilot AI
15m 38s copilot/enhance-tracing-cache-debugging
copilot/enhance-tracing-cache-debugging
15m 38s
Move some tests Lean Action CI #69: Pull request #16 opened by wvhulle
3m 0s move-tests
move-tests
3m 0s
Use hashset Lean Action CI #68: Pull request #15 opened by wvhulle
3m 22s hash
hash
3m 22s
Split tests and optimise performance of the tactic Lean Action CI #67: Pull request #14 opened by wvhulle
2m 48s split-tests
split-tests
2m 48s
Simplify helper functions and structure of tactic definition Lean Action CI #66: Pull request #13 opened by wvhulle
2m 19s simplify-tactic
simplify-tactic
2m 19s
Make docs more concise Lean Action CI #65: Pull request #12 opened by wvhulle
1m 37s concise-doc
concise-doc
1m 37s
Support more arithmetic operations such as subtraction Lean Action CI #64: Pull request #11 synchronize by wvhulle
1m 40s support-sub
support-sub
1m 40s
Support more arithmetic operations such as subtraction Lean Action CI #63: Pull request #11 synchronize by wvhulle
2m 0s support-sub
support-sub
2m 0s
Support more arithmetic operations such as subtraction Lean Action CI #62: Pull request #11 opened by wvhulle
1m 35s support-sub
support-sub
1m 35s
Support more arithmetic operations Lean Action CI #61: Commit 990533e pushed by wvhulle
1m 36s support-sub
support-sub
1m 36s
Recover after failed attempt and inequalities (#10) Lean Action CI #60: Commit 73746d6 pushed by wvhulle
2m 30s main
main
2m 30s
Recover after failed attempt and inequalities Lean Action CI #59: Pull request #10 opened by wvhulle
2m 13s backtrack-ineq
backtrack-ineq
2m 13s
Cleaner pattern matching Lean Action CI #58: Commit 22df7f8 pushed by wvhulle
2m 16s backtrack-ineq
backtrack-ineq
2m 16s
Add support for decimal part and let bindings (#9) Lean Action CI #57: Commit 5455816 pushed by wvhulle
1m 43s main
main
1m 43s
Add support for decimal part and let bindings Lean Action CI #56: Pull request #9 synchronize by wvhulle
1m 41s fix-test-statement
fix-test-statement
1m 41s
Small refactor Lean Action CI #55: Commit 90dece6 pushed by wvhulle
2m 7s fix-test-statement
fix-test-statement
2m 7s
Add support for decimal part and let bindings Lean Action CI #54: Pull request #9 synchronize by wvhulle
2m 4s fix-test-statement
fix-test-statement
2m 4s
Made some definitions more compact Lean Action CI #53: Commit 10e8181 pushed by wvhulle
1m 54s fix-test-statement
fix-test-statement
1m 54s
Add support for decimal part and let bindings Lean Action CI #52: Pull request #9 opened by wvhulle
1m 43s fix-test-statement
fix-test-statement
1m 43s
Support decimal part and let bindings Lean Action CI #51: Commit 9d717a5 pushed by wvhulle
1m 45s fix-test-statement
fix-test-statement
1m 45s
Add support for bounded ENN variables during simplification (#8) Lean Action CI #50: Commit 1fab92a pushed by wvhulle
1m 40s main
main
1m 40s
Add support for bounded ENN variables during simplification Lean Action CI #49: Pull request #8 opened by wvhulle
2m 0s simp-expr-bvars
simp-expr-bvars
2m 0s
Add support for bounded ENN variables during simplification Lean Action CI #48: Commit 417f430 pushed by wvhulle
2m 3s simp-expr-bvars
simp-expr-bvars
2m 3s
Change name of tactic (#7) Lean Action CI #47: Commit 8583551 pushed by wvhulle
1m 36s main
main
1m 36s
Change name of tactic Lean Action CI #46: Pull request #7 opened by wvhulle
1m 22s fix-documentation
fix-documentation
1m 22s