Skip to content

Actions: bsubercaseaux/EmptyHexagonLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
132 workflow runs
132 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'reviewer-1-small-edits' ci #82: Commit 6430796 pushed by JamesGallicchio
June 10, 2024 02:25 4m 8s main
main
June 10, 2024 02:25 4m 8s
Match hole_6_theorem with paper ci #81: Pull request #9 synchronize by JamesGallicchio
June 10, 2024 02:20 4m 42s fixup-hole6thm
fixup-hole6thm
June 10, 2024 02:20 4m 42s
Merge pull request #8 from bsubercaseaux/reviewer-1-small-edits ci #80: Commit 62c56aa pushed by JamesGallicchio
June 10, 2024 02:20 3m 55s fixup-hole6thm
fixup-hole6thm
June 10, 2024 02:20 3m 55s
Add discussion of formalization difficulties in symmetry breaking ci #79: Pull request #10 synchronize by ccodel
June 10, 2024 01:33 4m 2s symm-break-discussion
symm-break-discussion
June 10, 2024 01:33 4m 2s
Merge pull request #11 from bsubercaseaux/cube-n-conquer-challenges ci #78: Commit c04ba2a pushed by ccodel
June 10, 2024 01:33 3m 54s symm-break-discussion
symm-break-discussion
June 10, 2024 01:33 3m 54s
Scripts and README for verification ci #77: Pull request #7 synchronize by bsubercaseaux
June 9, 2024 23:40 3m 53s cube_check
cube_check
June 9, 2024 23:40 3m 53s
move C file and delete utils ci #76: Commit 86c03f0 pushed by bsubercaseaux
June 9, 2024 23:40 3m 54s cube_check
cube_check
June 9, 2024 23:40 3m 54s
Reviewer 1 small edits ci #75: Pull request #8 synchronize by ccodel
June 9, 2024 21:11 4m 6s reviewer-1-small-edits
reviewer-1-small-edits
June 9, 2024 21:11 4m 6s
Grammar and small rewording ci #74: Commit 82bb130 pushed by ccodel
June 9, 2024 21:11 3m 57s reviewer-1-small-edits
reviewer-1-small-edits
June 9, 2024 21:11 3m 57s
Scripts and README for verification ci #73: Pull request #7 synchronize by bsubercaseaux
June 9, 2024 21:00 3m 58s cube_check
cube_check
June 9, 2024 21:00 3m 58s
add description for running without cadical/cake_lpr in path ci #72: Commit d3094c5 pushed by bsubercaseaux
June 9, 2024 21:00 3m 55s cube_check
cube_check
June 9, 2024 21:00 3m 55s
Cube & conquer validation challenges ci #71: Pull request #11 synchronize by ccodel
June 9, 2024 20:53 3m 51s cube-n-conquer-challenges
cube-n-conquer-challenges
June 9, 2024 20:53 3m 51s
Rephrase ending paragraph ci #70: Commit f2e5892 pushed by ccodel
June 9, 2024 20:53 3m 48s cube-n-conquer-challenges
cube-n-conquer-challenges
June 9, 2024 20:53 3m 48s
Scripts and README for verification ci #69: Pull request #7 synchronize by bsubercaseaux
June 9, 2024 20:45 4m 4s cube_check
cube_check
June 9, 2024 20:45 4m 4s
edit bash scripts to receive env vars ci #68: Commit d74e35b pushed by bsubercaseaux
June 9, 2024 20:45 3m 51s cube_check
cube_check
June 9, 2024 20:45 3m 51s
Scripts and README for verification ci #67: Pull request #7 synchronize by ccodel
June 9, 2024 20:14 3m 59s cube_check
cube_check
June 9, 2024 20:14 3m 59s
Updates to the README ci #66: Commit 8b93998 pushed by ccodel
June 9, 2024 20:14 3m 59s cube_check
cube_check
June 9, 2024 20:14 3m 59s
Scripts and README for verification ci #65: Pull request #7 synchronize by bsubercaseaux
June 9, 2024 20:06 3m 54s cube_check
cube_check
June 9, 2024 20:06 3m 54s
add full computation + small README changes ci #64: Commit 4f2ed62 pushed by bsubercaseaux
June 9, 2024 20:06 3m 55s cube_check
cube_check
June 9, 2024 20:06 3m 55s
Cube & conquer validation challenges ci #63: Pull request #11 synchronize by JamesGallicchio
June 9, 2024 18:27 3m 54s cube-n-conquer-challenges
cube-n-conquer-challenges
June 9, 2024 18:27 3m 54s
future work discussion ci #62: Commit 29ccadd pushed by JamesGallicchio
June 9, 2024 18:27 4m 2s cube-n-conquer-challenges
cube-n-conquer-challenges
June 9, 2024 18:27 4m 2s
Cube & conquer validation challenges ci #61: Pull request #11 opened by JamesGallicchio
June 9, 2024 17:54 3m 58s cube-n-conquer-challenges
cube-n-conquer-challenges
June 9, 2024 17:54 3m 58s
validating the run ci #60: Commit a309227 pushed by JamesGallicchio
June 9, 2024 17:54 3m 49s cube-n-conquer-challenges
cube-n-conquer-challenges
June 9, 2024 17:54 3m 49s
small changes ci #59: Commit dc5b19d pushed by marijnheule
June 9, 2024 10:12 4m 7s main
main
June 9, 2024 10:12 4m 7s
Add discussion of formalization difficulties in symmetry breaking ci #58: Pull request #10 opened by JamesGallicchio
June 9, 2024 04:35 3m 52s symm-break-discussion
symm-break-discussion
June 9, 2024 04:35 3m 52s