Skip to content

Actions: LiamSchilling/AutomatePolynomial

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

docs: provide reference file links for TODOs Compile blueprint #24: Commit 63152d9 pushed by LiamSchilling
14m 8s master
master
14m 8s
docs: section Univariate System / Inference Rules in blueprint Compile blueprint #23: Commit 7763210 pushed by LiamSchilling
13m 22s master
master
13m 22s
build: change to stable version Compile blueprint #22: Commit 6d50075 pushed by LiamSchilling
17m 2s master
master
17m 2s
build: change to stable version Compile blueprint #21: Commit 7b1e93c pushed by LiamSchilling
1m 50s master
master
1m 50s
docs: section Ongiong Work in README Compile blueprint #20: Commit 9f3a986 pushed by LiamSchilling
13m 31s master
master
13m 31s
fix blueprint title Compile blueprint #19: Commit d87c5d1 pushed by LiamSchilling
12m 29s master
master
12m 29s
update reference decls Compile blueprint #18: Commit fdd0d7a pushed by LiamSchilling
17m 15s master
master
17m 15s
update referenced decls Compile blueprint #17: Commit 088e714 pushed by LiamSchilling
16m 48s master
master
16m 48s
remove Consolas font Compile blueprint #16: Commit 823e296 pushed by LiamSchilling
16m 37s master
master
16m 37s
revise documentation, fix fonts Compile blueprint #15: Commit a248e63 pushed by LiamSchilling
16m 28s master
master
16m 28s
make stable Compile blueprint #14: Commit 3d232e2 pushed by LiamSchilling
11m 36s master
master
11m 36s
polynomial system stable Compile blueprint #13: Commit 8e6d34c pushed by LiamSchilling
12m 4s master
master
12m 4s
coeff list proof degreeEq of normal Compile blueprint #12: Commit 4f5777b pushed by LiamSchilling
18m 6s master
master
18m 6s
coeff list proofs; 2 theorems left Compile blueprint #11: Commit 170ef37 pushed by LiamSchilling
17m 8s master
master
17m 8s
generalize in induction Compile blueprint #10: Commit f167048 pushed by quangvdao
12m 28s master
master
12m 28s
coeff list proofs Compile blueprint #9: Commit 5688494 pushed by LiamSchilling
1m 44s master
master
1m 44s
Merge branch 'master' of https://github.com/LiamSchilling/AutomatePol… Compile blueprint #8: Commit e18f583 pushed by LiamSchilling
11m 37s master
master
11m 37s
finished one of the lemmas Compile blueprint #7: Commit b80c459 pushed by quangvdao
20m 13s master
master
20m 13s
proofs for coefficient lists, updated README Compile blueprint #6: Commit 7dff988 pushed by LiamSchilling
12m 9s master
master
12m 9s
fix docstrings Compile blueprint #5: Commit e045fee pushed by LiamSchilling
11m 28s master
master
11m 28s
add doctrings; Compile blueprint #4: Commit 8f91b2a pushed by LiamSchilling
12m 16s master
master
12m 16s
trying rly hard to fix blueprint Compile blueprint #3: Commit d9b6b2c pushed by LiamSchilling
16m 37s master
master
16m 37s
fix deploy Compile blueprint #2: Commit 6009d0a pushed by LiamSchilling
Failure master
master
Failure
pages build and deployment pages-build-deployment #3: by LiamSchilling
40s master
master
40s
blueprint fix Compile blueprint #1: Commit 8932550 pushed by LiamSchilling
17m 6s master
master
17m 6s