Skip to content

Actions: UniMath/SymmetryBook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
241 workflow runs
241 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #307: by github-pages bot
November 1, 2024 18:08 42s
November 1, 2024 18:08 42s
some minor edits in groups and actions Build the book #737: Commit ab2cb2e pushed by UlrikBuchholtz
November 1, 2024 18:03 5m 12s master
master
November 1, 2024 18:03 5m 12s
pages build and deployment pages-build-deployment #306: by github-pages bot
October 31, 2024 13:24 40s
October 31, 2024 13:24 40s
new lem:E-preserves-symms Build the book #736: Commit 3798fde pushed by marcbezem
October 31, 2024 13:20 3m 26s master
master
October 31, 2024 13:20 3m 26s
pages build and deployment pages-build-deployment #305: by github-pages bot
October 29, 2024 15:36 37s
October 29, 2024 15:36 37s
reshuffling, 8.2.6 to 5.3 Build the book #735: Commit ff559de pushed by marcbezem
October 29, 2024 15:33 3m 53s master
master
October 29, 2024 15:33 3m 53s
pages build and deployment pages-build-deployment #304: by github-pages bot
October 23, 2024 14:30 40s
October 23, 2024 14:30 40s
wip up to 5.3.20 Build the book #734: Commit 733baff pushed by marcbezem
October 23, 2024 14:27 3m 32s master
master
October 23, 2024 14:27 3m 32s
pages build and deployment pages-build-deployment #303: by github-pages bot
October 16, 2024 18:42 48s
October 16, 2024 18:42 48s
wip 5.3 Build the book #733: Commit 1732352 pushed by marcbezem
October 16, 2024 18:38 3m 45s master
master
October 16, 2024 18:38 3m 45s
pages build and deployment pages-build-deployment #302: by github-pages bot
October 10, 2024 09:57 43s
October 10, 2024 09:57 43s
wip 5.3 Sub_G Build the book #732: Commit 01cc897 pushed by marcbezem
October 10, 2024 09:54 3m 52s master
master
October 10, 2024 09:54 3m 52s
pages build and deployment pages-build-deployment #301: by github-pages bot
October 3, 2024 13:04 42s
October 3, 2024 13:04 42s
minor in 5.2 Build the book #731: Commit 9384c7a pushed by marcbezem
October 3, 2024 13:00 3m 32s master
master
October 3, 2024 13:00 3m 32s
pages build and deployment pages-build-deployment #300: by github-pages bot
October 1, 2024 11:45 45s
October 1, 2024 11:45 45s
tiny Build the book #730: Commit f28b980 pushed by UlrikBuchholtz
October 1, 2024 11:42 3m 39s master
master
October 1, 2024 11:42 3m 39s
pages build and deployment pages-build-deployment #299: by github-pages bot
October 1, 2024 11:41 43s
October 1, 2024 11:41 43s
update Makefile Build the book #729: Commit a49de53 pushed by UlrikBuchholtz
October 1, 2024 11:38 3m 29s master
master
October 1, 2024 11:38 3m 29s
pages build and deployment pages-build-deployment #298: by github-pages bot
September 13, 2024 18:15 43s
September 13, 2024 18:15 43s
minor Build the book #728: Commit f099ab8 pushed by marcbezem
September 13, 2024 18:12 3m 47s master
master
September 13, 2024 18:12 3m 47s
pages build and deployment pages-build-deployment #297: by github-pages bot
September 5, 2024 14:49 42s
September 5, 2024 14:49 42s
move free groups to constructions chapter Build the book #727: Commit 8224cef pushed by UlrikBuchholtz
September 5, 2024 14:45 3m 35s master
master
September 5, 2024 14:45 3m 35s
pages build and deployment pages-build-deployment #296: by github-pages bot
September 5, 2024 14:40 44s
September 5, 2024 14:40 44s
pages build and deployment pages-build-deployment #295: by github-pages bot
September 5, 2024 14:37 42s
September 5, 2024 14:37 42s
remove x permission on group.tex Build the book #726: Commit 3c1438d pushed by UlrikBuchholtz
September 5, 2024 14:36 3m 50s master
master
September 5, 2024 14:36 3m 50s