Skip to content

Actions: WuProver/lean_characteristic_set

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
57 workflow runs
57 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update dependency Compile blueprint #36: Commit dcc89bc pushed by SnkXyx
32m 52s main
main
32m 52s
fix blueprint Compile blueprint #35: Commit edaaaf5 pushed by SnkXyx
1m 28s main
main
1m 28s
Remove IsMinimal Compile blueprint #34: Commit 6f98349 pushed by SnkXyx
2m 7s main
main
2m 7s
Rename so to equiv Compile blueprint #33: Commit f130c1b pushed by SnkXyx
13m 55s main
main
13m 55s
Refactor some proofs in initial.lean Compile blueprint #32: Commit 57f9879 pushed by SnkXyx
15m 23s main
main
15m 23s
add initialOf_eq_leadingCoeff Compile blueprint #31: Commit fabd76e pushed by SnkXyx
14m 9s main
main
14m 9s
Update mathlib to use Mathlib.Algebra.MvPolynomial.NoZeroDivisors Compile blueprint #30: Commit eb80950 pushed by SnkXyx
30m 33s main
main
30m 33s
Update Dependencies Update Dependencies #1: Manually run by SnkXyx
4m 49s main
main
4m 49s
Add theorem mainVariable_mul_le Compile blueprint #29: Commit 91b8531 pushed by SnkXyx
22m 0s main
main
22m 0s
Add some comments Compile blueprint #28: Commit 5891aae pushed by SnkXyx
21m 10s main
main
21m 10s
add some examples (TODO) Compile blueprint #27: Commit 3a49547 pushed by SnkXyx
22m 37s main
main
22m 37s
add some examples (TODO) Compile blueprint #26: Commit d4bde23 pushed by SnkXyx
47s main
main
47s
clean .DS_Stores and add it to .gitignore Compile blueprint #25: Commit a69a6e9 pushed by Hagb
18m 47s main
main
18m 47s
redepoly the pages Compile blueprint #24: Commit 33af8da pushed by tsuki8
19m 12s main
main
19m 12s
Refine README language for clarity and correctness Compile blueprint #23: Commit 4f0ca74 pushed by lzhimmrc
21m 21s main
main
21m 21s
Update section title from 'Reference' to 'References' Compile blueprint #22: Commit 2ef20ca pushed by lzhimmrc
22m 47s main
main
22m 47s
Update citation format in README.md Compile blueprint #21: Commit 767711d pushed by lzhimmrc
15m 48s main
main
15m 48s
Update reference Compile blueprint #20: Commit 3e64102 pushed by SnkXyx
8m 30s main
main
8m 30s
add home_page Compile blueprint #19: Commit 5cc3577 pushed by tsuki8
36m 0s main
main
36m 0s
Improve blueprint Compile blueprint #18: Commit f3924f8 pushed by SnkXyx
21m 56s main
main
21m 56s
Fix blueprint content Compile blueprint #17: Commit d61d4d5 pushed by SnkXyx
21m 24s main
main
21m 24s
Improve the blueprint Compile blueprint #16: Commit 1d7734d pushed by SnkXyx
20m 57s main
main
20m 57s
Add most of defs to blueprint Compile blueprint #15: Commit a5ca52b pushed by SnkXyx
21m 6s main
main
21m 6s
Add most of defs to blueprint Lean Action CI #16: Commit a5ca52b pushed by SnkXyx
16m 22s main
main
16m 22s
Add "Free disk space" step to avoid "no space left" Compile blueprint #14: Commit 6e89826 pushed by SnkXyx
19m 30s main
main
19m 30s