Skip to content

Actions: UniMath/SymmetryBook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
240 workflow runs
240 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
structure and polish intro Build the book #666: Commit d241375 pushed by marcbezem
October 24, 2023 15:29 4m 23s master
master
October 24, 2023 15:29 4m 23s
pages build and deployment pages-build-deployment #236: by github-pages bot
October 19, 2023 14:53 58s
October 19, 2023 14:53 58s
pages build and deployment pages-build-deployment #235: by github-pages bot
October 19, 2023 14:49 1m 0s
October 19, 2023 14:49 1m 0s
fix more typos Build the book #665: Commit 2d6fef0 pushed by UlrikBuchholtz
October 19, 2023 14:48 4m 16s master
master
October 19, 2023 14:48 4m 16s
fix some typos Build the book #664: Commit a12b987 pushed by UlrikBuchholtz
October 19, 2023 14:45 4m 17s master
master
October 19, 2023 14:45 4m 17s
pages build and deployment pages-build-deployment #234: by github-pages bot
October 19, 2023 14:28 52s
October 19, 2023 14:28 52s
fix compilation error Build the book #663: Commit b8731db pushed by UlrikBuchholtz
October 19, 2023 14:22 5m 22s master
master
October 19, 2023 14:22 5m 22s
first draft of discussion about Warn's contruction (end argument is m… Build the book #662: Commit 7572f14 pushed by pierrecagne
October 16, 2023 17:45 3m 31s master
master
October 16, 2023 17:45 3m 31s
pages build and deployment pages-build-deployment #233: by github-pages bot
October 9, 2023 12:11 1m 0s
October 9, 2023 12:11 1m 0s
reformulate Lem. 4.11.5 slightly to avoid implicit use of choice Build the book #661: Commit 67da579 pushed by UlrikBuchholtz
October 9, 2023 12:06 4m 17s master
master
October 9, 2023 12:06 4m 17s
pages build and deployment pages-build-deployment #232: by github-pages bot
October 9, 2023 10:56 53s
October 9, 2023 10:56 53s
add draft of proof that group epis are surjective, following Trimble Build the book #660: Commit 26c008f pushed by UlrikBuchholtz
October 9, 2023 10:51 4m 45s master
master
October 9, 2023 10:51 4m 45s
pages build and deployment pages-build-deployment #231: by github-pages bot
October 7, 2023 17:56 58s
October 7, 2023 17:56 58s
polish + Cyc also as formula Build the book #659: Commit d26e9ec pushed by marcbezem
October 7, 2023 17:52 4m 9s master
master
October 7, 2023 17:52 4m 9s
pages build and deployment pages-build-deployment #230: by github-pages bot
October 5, 2023 18:48 1m 2s
October 5, 2023 18:48 1m 2s
polish 3.6.1-3 Build the book #658: Commit 6ac1a6e pushed by marcbezem
October 5, 2023 18:43 5m 49s master
master
October 5, 2023 18:43 5m 49s