Skip to content

Actions: UniMath/SymmetryBook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
243 workflow runs
243 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #249: by github-pages bot
November 30, 2023 15:03 2m 28s
November 30, 2023 15:03 2m 28s
wip upto 3.8.5 Build the book #678: Commit 2bf6454 pushed by marcbezem
November 30, 2023 15:00 3m 34s master
master
November 30, 2023 15:00 3m 34s
pages build and deployment pages-build-deployment #248: by github-pages bot
November 23, 2023 15:38 46s
November 23, 2023 15:38 46s
wip + Ulrik's glossary trick 3.8 Build the book #677: Commit a56dfd2 pushed by marcbezem
November 23, 2023 15:35 3m 29s master
master
November 23, 2023 15:35 3m 29s
pages build and deployment pages-build-deployment #247: by github-pages bot
November 23, 2023 15:30 44s
November 23, 2023 15:30 44s
add mth root to glossary Build the book #676: Commit 456b993 pushed by UlrikBuchholtz
November 23, 2023 15:26 3m 47s master
master
November 23, 2023 15:26 3m 47s
pages build and deployment pages-build-deployment #246: by github-pages bot
November 16, 2023 13:19 51s
November 16, 2023 13:19 51s
done with 3.7? Build the book #675: Commit f6656bb pushed by marcbezem
November 16, 2023 13:15 3m 47s master
master
November 16, 2023 13:15 3m 47s
pages build and deployment pages-build-deployment #245: by github-pages bot
November 9, 2023 18:45 55s
November 9, 2023 18:45 55s
minor Build the book #674: Commit 5d71b2f pushed by marcbezem
November 9, 2023 18:42 3m 27s master
master
November 9, 2023 18:42 3m 27s
pages build and deployment pages-build-deployment #244: by github-pages bot
November 8, 2023 15:47 50s
November 8, 2023 15:47 50s
done polishing 3.6 Build the book #673: Commit 0df43cc pushed by marcbezem
November 8, 2023 15:43 4m 1s master
master
November 8, 2023 15:43 4m 1s
pages build and deployment pages-build-deployment #243: by github-pages bot
November 5, 2023 15:48 49s
November 5, 2023 15:48 49s
done polishing 3.6? Build the book #672: Commit c1a37ad pushed by marcbezem
November 5, 2023 15:44 4m 10s master
master
November 5, 2023 15:44 4m 10s
pages build and deployment pages-build-deployment #242: by github-pages bot
November 3, 2023 14:34 1m 4s
November 3, 2023 14:34 1m 4s
proof in clock form Build the book #671: Commit 35b70be pushed by marcbezem
November 3, 2023 14:30 3m 37s master
master
November 3, 2023 14:30 3m 37s
pages build and deployment pages-build-deployment #241: by github-pages bot
November 2, 2023 15:26 49s
November 2, 2023 15:26 49s
further polish circle Build the book #670: Commit c1f3ef5 pushed by marcbezem
November 2, 2023 15:21 4m 8s master
master
November 2, 2023 15:21 4m 8s
pages build and deployment pages-build-deployment #240: by github-pages bot
October 29, 2023 18:33 48s
October 29, 2023 18:33 48s
further polish intro Build the book #669: Commit e3c99e0 pushed by marcbezem
October 29, 2023 18:28 4m 23s master
master
October 29, 2023 18:28 4m 23s
pages build and deployment pages-build-deployment #239: by github-pages bot
October 26, 2023 14:12 1m 6s
October 26, 2023 14:12 1m 6s
small correction Build the book #668: Commit 9294537 pushed by DanGrayson
October 26, 2023 14:07 5m 31s master
master
October 26, 2023 14:07 5m 31s
pages build and deployment pages-build-deployment #238: by github-pages bot
October 25, 2023 07:44 54s
October 25, 2023 07:44 54s
correct Build the book #667: Commit 4376e7b pushed by marcbezem
October 25, 2023 07:38 5m 10s master
master
October 25, 2023 07:38 5m 10s
pages build and deployment pages-build-deployment #237: by github-pages bot
October 24, 2023 15:34 1m 5s
October 24, 2023 15:34 1m 5s