Skip to content

Actions: bsubercaseaux/EmptyHexagonLean

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
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
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
reviewer-1-small-edits
June 9, 2024 04:33 4m 3s
remove symmetry breaking discussion (moving to a separate PR) ci #55: Commit bebf7a3 pushed by JamesGallicchio
June 9, 2024 04:33 3m 55s reviewer-1-small-edits
reviewer-1-small-edits
June 9, 2024 04:33 3m 55s
Reviewer 1 small edits ci #54: Pull request #8 synchronize by JamesGallicchio
June 9, 2024 04:30 4m 5s reviewer-1-small-edits
reviewer-1-small-edits
June 9, 2024 04:30 4m 5s
remove namespace from code snippet ci #53: Commit c3e995c pushed by JamesGallicchio
June 9, 2024 04:30 3m 53s reviewer-1-small-edits
reviewer-1-small-edits
June 9, 2024 04:30 3m 53s
Reviewer 1 small edits ci #52: Pull request #8 synchronize by JamesGallicchio
June 9, 2024 04:29 3m 51s reviewer-1-small-edits
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
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
reviewer-1-small-edits
June 9, 2024 04:23 3m 55s
add some discussion of formalizing symmetry breaking ci #49: Commit 38e267d pushed by JamesGallicchio
June 9, 2024 04:23 3m 50s reviewer-1-small-edits
reviewer-1-small-edits
June 9, 2024 04:23 3m 50s
Reviewer 1 small edits ci #48: Pull request #8 synchronize by JamesGallicchio
June 9, 2024 03:29 3m 51s reviewer-1-small-edits
reviewer-1-small-edits
June 9, 2024 03:29 3m 51s
clarify explanation of lex-order constraint ci #47: Commit 0653dab pushed by JamesGallicchio
June 9, 2024 03:29 3m 48s reviewer-1-small-edits
reviewer-1-small-edits
June 9, 2024 03:29 3m 48s
Scripts and README for verification ci #46: Pull request #7 synchronize by bsubercaseaux
June 9, 2024 03:17 3m 52s cube_check
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
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
reviewer-1-small-edits
June 9, 2024 03:08 3m 50s
clean up discussion of orientation axioms ci #43: Commit 8137a38 pushed by JamesGallicchio
June 9, 2024 03:08 3m 52s reviewer-1-small-edits
reviewer-1-small-edits
June 9, 2024 03:08 3m 52s
Reviewer 1 small edits ci #42: Pull request #8 synchronize by JamesGallicchio
June 9, 2024 02:04 3m 48s reviewer-1-small-edits
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
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
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
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
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
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
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
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
fixup-hole6thm
June 9, 2024 00:10 3m 58s
match hole_6_theorem with paper, make it about sets ci #33: Commit 123f8d9 pushed by JamesGallicchio
June 9, 2024 00:08 3m 48s fixup-hole6thm
fixup-hole6thm
June 9, 2024 00:08 3m 48s