Skip to content

Actions: mhk119/lean-smt

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

requested changes CI #30: Commit 70d894d pushed by mhk119
September 30, 2024 18:27 52s polynorm
polynorm
September 30, 2024 18:27 52s
done CI #29: Commit b74720b pushed by mhk119
September 30, 2024 18:09 12m 30s transcendentals
transcendentals
September 30, 2024 18:09 12m 30s
Update Smt/Reconstruct/Int/Polynorm.lean CI #28: Commit 18c0649 pushed by mhk119
September 30, 2024 18:05 1m 3s polynorm
polynorm
September 30, 2024 18:05 1m 3s
refactor CI #27: Commit 37f484b pushed by mhk119
August 19, 2024 06:30 11m 56s transcendentals
transcendentals
August 19, 2024 06:30 11m 56s
updates CI #26: Commit 4db8c03 pushed by mhk119
August 15, 2024 22:02 12m 1s transcendentals
transcendentals
August 15, 2024 22:02 12m 1s
Update Smt/Reconstruct/Int/Polynorm.lean CI #25: Commit a91c734 pushed by mhk119
August 12, 2024 23:44 51s polynorm
polynorm
August 12, 2024 23:44 51s
Update Smt/Reconstruct/Int/Polynorm.lean CI #24: Commit 0e9566d pushed by mhk119
August 12, 2024 23:44 48s polynorm
polynorm
August 12, 2024 23:44 48s
Update Smt/Reconstruct/Int/Polynorm.lean CI #23: Commit d87b0dd pushed by mhk119
August 12, 2024 23:44 46s polynorm
polynorm
August 12, 2024 23:44 46s
Update Smt/Reconstruct/Int/Polynorm.lean CI #22: Commit 69967d4 pushed by mhk119
August 12, 2024 23:44 41s polynorm
polynorm
August 12, 2024 23:44 41s
Update Smt/Reconstruct/Int/Polynorm.lean CI #21: Commit 1188519 pushed by mhk119
August 12, 2024 23:43 49s polynorm
polynorm
August 12, 2024 23:43 49s
Update Smt/Reconstruct/Int/Polynorm.lean CI #20: Commit c52b300 pushed by mhk119
August 12, 2024 23:43 45s polynorm
polynorm
August 12, 2024 23:43 45s
Update Smt/Reconstruct/Int/Polynorm.lean CI #19: Commit 5b92d62 pushed by mhk119
August 12, 2024 23:42 47s polynorm
polynorm
August 12, 2024 23:42 47s
Update Smt/Reconstruct/Int/Polynorm.lean CI #18: Commit 42e616d pushed by mhk119
August 12, 2024 23:42 50s polynorm
polynorm
August 12, 2024 23:42 50s
small changes CI #17: Commit 7ab8e70 pushed by mhk119
July 29, 2024 11:25 7m 24s polynorm
polynorm
July 29, 2024 11:25 7m 24s
Fix bug with Iff elimination. (#123) CI #16: Commit 1d2de14 pushed by mhk119
July 29, 2024 11:13 2m 14s polynorm
polynorm
July 29, 2024 11:13 2m 14s
small changes CI #15: Commit 7ab8e70 pushed by mhk119
July 29, 2024 11:03 7m 26s polynorm
polynorm
July 29, 2024 11:03 7m 26s
new files CI #14: Commit 1a145c4 pushed by mhk119
July 28, 2024 15:49 11m 40s transcendentals
transcendentals
July 28, 2024 15:49 11m 40s
changes CI #13: Commit 6c5b917 pushed by mhk119
July 24, 2024 10:26 11m 48s transcendentals
transcendentals
July 24, 2024 10:26 11m 48s
all sorries proved CI #12: Commit 3355b7f pushed by mhk119
July 24, 2024 10:15 11m 52s transcendentals
transcendentals
July 24, 2024 10:15 11m 52s
progress CI #11: Commit 61609f1 pushed by mhk119
July 11, 2024 20:09 12m 4s transcendentals
transcendentals
July 11, 2024 20:09 12m 4s
fixed CI #10: Commit 5463437 pushed by mhk119
June 7, 2024 00:09 33m 19s orN-proof2
orN-proof2
June 7, 2024 00:09 33m 19s
small change CI #9: Commit 49c833d pushed by mhk119
June 6, 2024 21:38 6m 1s orN-proof2
orN-proof2
June 6, 2024 21:38 6m 1s
orN-proof CI #8: Commit 740280c pushed by mhk119
June 6, 2024 20:17 4m 9s orN-proof2
orN-proof2
June 6, 2024 20:17 4m 9s
upstream CI #7: Commit b297db2 pushed by mhk119
June 6, 2024 20:07 6m 56s orN-proof
orN-proof
June 6, 2024 20:07 6m 56s
small cleanup CI #6: Commit 4b1b0f9 pushed by mhk119
June 4, 2024 08:46 7m 7s orN-proof
orN-proof
June 4, 2024 08:46 7m 7s