Skip to content

Actions: WuProver/GroebnerTactic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
95 workflow runs
95 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
Merge pull request #2 from WuProver/clean-match Lean Action CI #91: Commit 1cbbc71 pushed by tsuki8
5h 55m 9s main
main
5h 55m 9s
change the default backend Lean Action CI #90: Commit bc1fabf pushed by tsuki8
5h 58m 16s main
main
5h 58m 16s
Lean Action CI Lean Action CI #89: Manually run by Hagb
1m 31s main
main
1m 31s
try to fix doc generation Lean Action CI #88: Commit 719d703 pushed by Hagb
6h 5m 5s main
main
6h 5m 5s
try to fix doc generation Lean Action CI #87: Commit 7d07aa5 pushed by Hagb
5s main
main
5s
clean up Quote4 pattern matching Lean Action CI #86: Pull request #2 opened by Hagb
2m 30s clean-match
clean-match
2m 30s
clean up Quote4 pattern matching Lean Action CI #85: Commit 3872319 pushed by Hagb
5h 55m 57s clean-match
clean-match
5h 55m 57s
generate page Lean Action CI #84: Commit 35a6be9 pushed by Hagb
5h 42m 21s main
main
5h 42m 21s
import tactics in GroebnerTac.lean Lean Action CI #83: Commit cc00806 pushed by Hagb
5m 20s main
main
5m 20s
don't generate doc in CI Lean Action CI #82: Commit 2906737 pushed by Hagb
1m 44s main
main
1m 44s
fix revison not found 'master' when lake update Lean Action CI #81: Commit f92022a pushed by Hagb
5h 40m 22s main
main
5h 40m 22s
Merge branch 'main' of https://github.com/WuProver/gbtac_experiments Lean Action CI #80: Commit eccd8e5 pushed by tsuki8
6h 5m 5s main
main
6h 5m 5s
Update README.md Lean Action CI #79: Commit a23c4cc pushed by tsuki8
5h 55m 31s main
main
5h 55m 31s
Remove WIP section from README Lean Action CI #78: Commit f900d1d pushed by tsuki8
5h 57m 1s main
main
5h 57m 1s
change the readme Create Release #4: Commit 9cdaa7a pushed by tsuki8
4s main
main
4s
change the readme Lean Action CI #77: Commit 9cdaa7a pushed by tsuki8
4s main
main
4s
Fix LaTeX formatting in README.md Lean Action CI #76: Commit 29cefe1 pushed by tsuki8
4s main
main
4s
Fix LaTeX formatting in README.md example Lean Action CI #75: Commit cc1d2d6 pushed by tsuki8
4s main
main
4s
Fix formatting in README example for clarity Lean Action CI #74: Commit abafbdd pushed by tsuki8
4s main
main
4s
Fix formatting of set notation in README.md Lean Action CI #73: Commit 8df96d7 pushed by tsuki8
6s main
main
6s
Fix formatting of polynomial example in README Lean Action CI #72: Commit 35543ba pushed by tsuki8
5s main
main
5s
Fix formatting of example in README.md Lean Action CI #71: Commit 40e8284 pushed by tsuki8
4s main
main
4s
Update README.md Lean Action CI #70: Commit 8fac06f pushed by tsuki8
5s main
main
5s
Update README.md Lean Action CI #69: Commit c683342 pushed by tsuki8
5s main
main
5s
polish README Lean Action CI #68: Commit aa4169e pushed by tsuki8
5s main
main
5s