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

use nested triangles witness ci #107: Commit f0a93f0 pushed by digama0
September 9, 2024 07:54 3m 59s main
main
September 9, 2024 07:54 3m 59s
feat: start on slides ci #106: Pull request #12 synchronize by Vtec234
September 8, 2024 07:46 3m 47s itp-slides
itp-slides
September 8, 2024 07:46 3m 47s
fix: clause count ci #105: Commit 357d79f pushed by Vtec234
September 8, 2024 07:46 3m 58s itp-slides
itp-slides
September 8, 2024 07:46 3m 58s
feat: start on slides ci #104: Pull request #12 synchronize by Vtec234
September 8, 2024 07:41 4m 4s itp-slides
itp-slides
September 8, 2024 07:41 4m 4s
feat: pictures ci #103: Commit 81a0c80 pushed by Vtec234
September 8, 2024 07:41 3m 58s itp-slides
itp-slides
September 8, 2024 07:41 3m 58s
feat: start on slides ci #102: Pull request #12 synchronize by Vtec234
September 7, 2024 05:35 3m 50s itp-slides
itp-slides
September 7, 2024 05:35 3m 50s
fix: wording ci #101: Commit 37c1bd9 pushed by Vtec234
September 7, 2024 05:35 3m 49s itp-slides
itp-slides
September 7, 2024 05:35 3m 49s
feat: start on slides ci #100: Pull request #12 synchronize by Vtec234
September 7, 2024 05:32 4m 1s itp-slides
itp-slides
September 7, 2024 05:32 4m 1s
minor ci #99: Commit 99b245e pushed by Vtec234
September 7, 2024 05:32 4m 0s itp-slides
itp-slides
September 7, 2024 05:32 4m 0s
feat: start on slides ci #98: Pull request #12 synchronize by Vtec234
September 7, 2024 05:28 3m 49s itp-slides
itp-slides
September 7, 2024 05:28 3m 49s
feat: more slides ci #97: Commit 05687fd pushed by Vtec234
September 7, 2024 05:28 3m 54s itp-slides
itp-slides
September 7, 2024 05:28 3m 54s
feat: start on slides ci #96: Pull request #12 opened by Vtec234
September 6, 2024 01:44 4m 9s itp-slides
itp-slides
September 6, 2024 01:44 4m 9s
feat: start on slides ci #95: Commit 290e2cf pushed by Vtec234
September 6, 2024 01:44 3m 55s itp-slides
itp-slides
September 6, 2024 01:44 3m 55s
Small grammar fixes ci #94: Commit cc6af5f pushed by ccodel
August 22, 2024 05:38 4m 6s main
main
August 22, 2024 05:38 4m 6s
update supplemental details ci #93: Commit 197b866 pushed by JamesGallicchio
June 27, 2024 17:11 3m 49s main
main
June 27, 2024 17:11 3m 49s
Add volume macros and source code detail ci #92: Commit 489a644 pushed by JamesGallicchio
June 11, 2024 04:11 3m 59s main
main
June 11, 2024 04:11 3m 59s
Merge pull request #10 from bsubercaseaux/symm-break-discussion ci #91: Commit 34edc98 pushed by JamesGallicchio
June 11, 2024 03:58 3m 54s main
main
June 11, 2024 03:58 3m 54s
Add discussion of formalization difficulties in symmetry breaking ci #90: Pull request #10 synchronize by JamesGallicchio
June 11, 2024 03:54 3m 52s symm-break-discussion
symm-break-discussion
June 11, 2024 03:54 3m 52s
Section headers must be numbered ci #89: Commit 4551f83 pushed by JamesGallicchio
June 11, 2024 03:54 4m 10s symm-break-discussion
symm-break-discussion
June 11, 2024 03:54 4m 10s
Merge pull request #7 from bsubercaseaux/cube_check ci #88: Commit 6a4f60b pushed by JamesGallicchio
June 11, 2024 03:25 4m 4s main
main
June 11, 2024 03:25 4m 4s
Add discussion of formalization difficulties in symmetry breaking ci #87: Pull request #10 synchronize by ccodel
June 10, 2024 05:38 3m 56s symm-break-discussion
symm-break-discussion
June 10, 2024 05:38 3m 56s
Rewrite ending paragraph of symm breaking section ci #86: Commit 6b6875b pushed by ccodel
June 10, 2024 05:38 4m 9s symm-break-discussion
symm-break-discussion
June 10, 2024 05:38 4m 9s
Merge pull request #6 from bsubercaseaux/orientation-comment ci #85: Commit 4983f58 pushed by JamesGallicchio
June 10, 2024 02:28 4m 4s main
main
June 10, 2024 02:28 4m 4s
Merge pull request #9 from bsubercaseaux/fixup-hole6thm ci #84: Commit 5218720 pushed by JamesGallicchio
June 10, 2024 02:27 4m 0s main
main
June 10, 2024 02:27 4m 0s
small changes ci #83: Commit dc5b19d pushed by JamesGallicchio
June 10, 2024 02:26 3m 57s main
main
June 10, 2024 02:26 3m 57s