Skip to content

Actions: WuProver/GroebnerTactic

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
104 workflow runs
104 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 #4 from WuProver/v_4_34_1 Lean Action CI #99: Commit f36fb4c pushed by tsuki8
2h 1m 58s main
main
2h 1m 58s
Merge pull request #4 from WuProver/v_4_34_1 Create Release #5: Commit f36fb4c pushed by tsuki8
11s main
main
11s
Upgrade Lean and dependencies to 4.34.1 Lean Action CI #98: Pull request #4 opened by tsuki8
5m 47s v_4_34_1
v_4_34_1
5m 47s
Adapt proof templates and budget the rational remainder example Lean Action CI #97: Commit 5e0e98e pushed by tsuki8
1h 57m 45s v_4_34_1
v_4_34_1
1h 57m 45s
Upgrade Lean and dependencies to 4.34.1 Lean Action CI #96: Commit 9a0f878 pushed by tsuki8
2h 3m 8s v_4_34_1
v_4_34_1
2h 3m 8s
write code Lean Action CI #95: Commit 753a465 pushed by tsuki8
5h 24m 57s shenhao
shenhao
5h 24m 57s
change citation Lean Action CI #94: Commit 94c082b pushed by tsuki8
4h 53m 14s main
main
4h 53m 14s
change citation Lean Action CI #93: Commit 7de8c12 pushed by tsuki8
4h 45m 30s main
main
4h 45m 30s
add citation Lean Action CI #92: Commit bf0f8e5 pushed by tsuki8
5h 54m 12s main
main
5h 54m 12s
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