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

Scripts and README for verification ci #32: Pull request #7 synchronize by bsubercaseaux
June 8, 2024 21:35 3m 56s cube_check
cube_check
June 8, 2024 21:35 3m 56s
include implicit steps on README ci #31: Commit cb29f91 pushed by bsubercaseaux
June 8, 2024 21:35 4m 1s cube_check
cube_check
June 8, 2024 21:35 4m 1s
Scripts and README for verification ci #30: Pull request #7 synchronize by bsubercaseaux
June 8, 2024 21:34 4m 5s cube_check
cube_check
June 8, 2024 21:34 4m 5s
add bash script for tautology ci #29: Commit a85e72c pushed by bsubercaseaux
June 8, 2024 21:34 3m 56s cube_check
cube_check
June 8, 2024 21:34 3m 56s
Reviewer 1 small edits ci #28: Pull request #8 synchronize by JamesGallicchio
June 8, 2024 21:33 3m 55s reviewer-1-small-edits
reviewer-1-small-edits
June 8, 2024 21:33 3m 55s
reword ci #27: Commit 4c2ec97 pushed by JamesGallicchio
June 8, 2024 21:33 4m 10s reviewer-1-small-edits
reviewer-1-small-edits
June 8, 2024 21:33 4m 10s
remove comments on orientation def ci #26: Pull request #6 synchronize by JamesGallicchio
June 8, 2024 21:02 4m 0s orientation-comment
orientation-comment
June 8, 2024 21:02 4m 0s
add less confusing comments to paper ci #25: Commit 843b44e pushed by JamesGallicchio
June 8, 2024 21:02 4m 3s orientation-comment
orientation-comment
June 8, 2024 21:02 4m 3s
remove comments on orientation def ci #24: Pull request #6 synchronize by JamesGallicchio
June 8, 2024 20:59 3m 51s orientation-comment
orientation-comment
June 8, 2024 20:59 3m 51s
add doc comments to Orientation code ci #23: Commit e54df20 pushed by JamesGallicchio
June 8, 2024 20:59 4m 2s orientation-comment
orientation-comment
June 8, 2024 20:59 4m 2s
remove comments on orientation def ci #22: Pull request #6 synchronize by JamesGallicchio
June 8, 2024 20:57 3m 55s orientation-comment
orientation-comment
June 8, 2024 20:57 3m 55s
remove unnecessary comments ci #21: Commit c5ebeed pushed by JamesGallicchio
June 8, 2024 20:57 4m 0s orientation-comment
orientation-comment
June 8, 2024 20:57 4m 0s
make variable naming more consistent in recalls ci #20: Commit 84cf8a4 pushed by JamesGallicchio
June 8, 2024 20:49 4m 2s reviewer-1-small-edits
reviewer-1-small-edits
June 8, 2024 20:49 4m 2s
Scripts and README for verification ci #19: Pull request #7 synchronize by bsubercaseaux
June 8, 2024 19:25 3m 57s cube_check
cube_check
June 8, 2024 19:25 3m 57s
remove extra files ci #18: Commit cc6ec52 pushed by bsubercaseaux
June 8, 2024 19:25 4m 11s cube_check
cube_check
June 8, 2024 19:25 4m 11s
Merge pull request #4 from bsubercaseaux/cayden_simple_edits ci #17: Commit a650071 pushed by bsubercaseaux
June 8, 2024 17:16 3m 50s main
main
June 8, 2024 17:16 3m 50s
Merge pull request #3 from bsubercaseaux/cayden_reviewer ci #16: Commit 816221e pushed by bsubercaseaux
June 8, 2024 17:14 3m 54s main
main
June 8, 2024 17:14 3m 54s
Merge pull request #5 from bsubercaseaux/rename-convexpoints ci #15: Commit 2502fa9 pushed by bsubercaseaux
June 8, 2024 17:12 3m 50s main
main
June 8, 2024 17:12 3m 50s
Scripts and README for verification ci #14: Pull request #7 opened by bsubercaseaux
June 8, 2024 16:16 4m 0s cube_check
cube_check
June 8, 2024 16:16 4m 0s
Readme for verification and verification scripts ci #13: Commit ded5ee0 pushed by bsubercaseaux
June 8, 2024 16:13 4m 0s cube_check
cube_check
June 8, 2024 16:13 4m 0s
delete drat file ci #12: Commit 4088ff1 pushed by bsubercaseaux
June 7, 2024 05:18 4m 15s cube_check
cube_check
June 7, 2024 05:18 4m 15s
gitignore changes ci #11: Commit b1cc427 pushed by bsubercaseaux
June 7, 2024 05:16 4m 11s cube_check
cube_check
June 7, 2024 05:16 4m 11s
cube checking ci #10: Commit 23f313f pushed by bsubercaseaux
June 7, 2024 05:14 3m 54s cube_check
cube_check
June 7, 2024 05:14 3m 54s
make variable naming more consistent ci #9: Commit f1c2c81 pushed by JamesGallicchio
June 5, 2024 17:49 4m 13s reviewer-1-small-edits
reviewer-1-small-edits
June 5, 2024 17:49 4m 13s
remove comments on orientation def ci #8: Pull request #6 opened by JamesGallicchio
June 5, 2024 17:08 3m 58s orientation-comment
orientation-comment
June 5, 2024 17:08 3m 58s