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

add discussion
ci #57: Commit 5633674 pushed by JamesGallicchio
June 9, 2024 04:34 3m 46s symm-break-discussion
June 9, 2024 04:34 3m 46s
Reviewer 1 small edits
ci #56: Pull request #8 synchronize by JamesGallicchio
June 9, 2024 04:33 4m 3s reviewer-1-small-edits
June 9, 2024 04:33 4m 3s
Reviewer 1 small edits
ci #54: Pull request #8 synchronize by JamesGallicchio
June 9, 2024 04:30 4m 5s reviewer-1-small-edits
June 9, 2024 04:30 4m 5s
Reviewer 1 small edits
ci #52: Pull request #8 synchronize by JamesGallicchio
June 9, 2024 04:29 3m 51s reviewer-1-small-edits
June 9, 2024 04:29 3m 51s
small changes to related work
ci #51: Commit 394a64e pushed by JamesGallicchio
June 9, 2024 04:29 3m 56s reviewer-1-small-edits
June 9, 2024 04:29 3m 56s
Reviewer 1 small edits
ci #50: Pull request #8 synchronize by JamesGallicchio
June 9, 2024 04:23 3m 55s reviewer-1-small-edits
June 9, 2024 04:23 3m 55s
Reviewer 1 small edits
ci #48: Pull request #8 synchronize by JamesGallicchio
June 9, 2024 03:29 3m 51s reviewer-1-small-edits
June 9, 2024 03:29 3m 51s
Scripts and README for verification
ci #46: Pull request #7 synchronize by bsubercaseaux
June 9, 2024 03:17 3m 52s cube_check
June 9, 2024 03:17 3m 52s
update README to cd Lean
ci #45: Commit d751ecb pushed by bsubercaseaux
June 9, 2024 03:17 3m 55s cube_check
June 9, 2024 03:17 3m 55s
Reviewer 1 small edits
ci #44: Pull request #8 synchronize by JamesGallicchio
June 9, 2024 03:08 3m 50s reviewer-1-small-edits
June 9, 2024 03:08 3m 50s
Reviewer 1 small edits
ci #42: Pull request #8 synchronize by JamesGallicchio
June 9, 2024 02:04 3m 48s reviewer-1-small-edits
June 9, 2024 02:04 3m 48s
explain parity and ^^^
ci #41: Commit 0d7cf1d pushed by JamesGallicchio
June 9, 2024 02:04 3m 54s reviewer-1-small-edits
June 9, 2024 02:04 3m 54s
Scripts and README for verification
ci #40: Pull request #7 synchronize by JamesGallicchio
June 9, 2024 01:57 4m 2s cube_check
June 9, 2024 01:57 4m 2s
clean up after solve_cube.sh
ci #39: Commit 867c0af pushed by JamesGallicchio
June 9, 2024 01:57 4m 1s cube_check
June 9, 2024 01:57 4m 1s
Scripts and README for verification
ci #38: Pull request #7 synchronize by JamesGallicchio
June 9, 2024 01:37 3m 58s cube_check
June 9, 2024 01:37 3m 58s
change shell script permissions
ci #37: Commit 112df08 pushed by JamesGallicchio
June 9, 2024 01:37 3m 53s cube_check
June 9, 2024 01:37 3m 53s
Reviewer 1 small edits
ci #36: Pull request #8 synchronize by JamesGallicchio
June 9, 2024 00:12 4m 12s reviewer-1-small-edits
June 9, 2024 00:12 4m 12s
reword
ci #35: Commit 39f9137 pushed by JamesGallicchio
June 9, 2024 00:12 3m 50s reviewer-1-small-edits
June 9, 2024 00:12 3m 50s
Match hole_6_theorem with paper
ci #34: Pull request #9 opened by JamesGallicchio
June 9, 2024 00:10 3m 58s fixup-hole6thm
June 9, 2024 00:10 3m 58s