Skip to content

Actions: UniMath/SymmetryBook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
257 workflow runs
257 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
better titles Build the book #725: Commit 21c22e1 pushed by UlrikBuchholtz
September 5, 2024 14:34 3m 47s master
master
September 5, 2024 14:34 3m 47s
pages build and deployment pages-build-deployment #294: by github-pages bot
September 5, 2024 14:18 45s
September 5, 2024 14:18 45s
partial work to move more things in place Build the book #724: Commit 0438ace pushed by UlrikBuchholtz
September 5, 2024 14:15 3m 33s master
master
September 5, 2024 14:15 3m 33s
pages build and deployment pages-build-deployment #293: by github-pages bot
September 5, 2024 08:14 45s
September 5, 2024 08:14 45s
trival group Aut_Prop(True) Build the book #723: Commit 8546527 pushed by marcbezem
September 5, 2024 08:10 3m 28s master
master
September 5, 2024 08:10 3m 28s
pages build and deployment pages-build-deployment #292: by github-pages bot
August 30, 2024 08:08 43s
August 30, 2024 08:08 43s
forgot to ADD the new files Build the book #722: Commit 1a03b4e pushed by UlrikBuchholtz
August 30, 2024 08:05 3m 45s master
master
August 30, 2024 08:05 3m 45s
pages build and deployment pages-build-deployment #291: by github-pages bot
August 30, 2024 07:51 39s
August 30, 2024 07:51 39s
pages build and deployment pages-build-deployment #290: by github-pages bot
August 30, 2024 07:51 32s
August 30, 2024 07:51 32s
first tiny edits post refactor Build the book #721: Commit 00ba718 pushed by UlrikBuchholtz
August 30, 2024 07:48 3m 14s master
master
August 30, 2024 07:48 3m 14s
BIG REFACTORING: ONLY THE MOVES, NO EDITS Build the book #720: Commit 1c17272 pushed by UlrikBuchholtz
August 30, 2024 07:48 3m 16s master
master
August 30, 2024 07:48 3m 16s
pages build and deployment pages-build-deployment #289: by github-pages bot
August 29, 2024 11:35 43s
August 29, 2024 11:35 43s
a pass through 4.8 Build the book #719: Commit 92b70e5 pushed by UlrikBuchholtz
August 29, 2024 11:32 3m 24s master
master
August 29, 2024 11:32 3m 24s
pages build and deployment pages-build-deployment #288: by github-pages bot
August 26, 2024 10:52 37s
August 26, 2024 10:52 37s
define alternating groups in 4.5 Build the book #718: Commit f48d2d9 pushed by UlrikBuchholtz
August 26, 2024 10:48 3m 29s master
master
August 26, 2024 10:48 3m 29s
pages build and deployment pages-build-deployment #287: by github-pages bot
August 25, 2024 09:46 39s
August 25, 2024 09:46 39s
Rem. 4.2.21 replaced by mn 8 Build the book #717: Commit cc479d3 pushed by marcbezem
August 25, 2024 09:43 3m 21s master
master
August 25, 2024 09:43 3m 21s
pages build and deployment pages-build-deployment #286: by github-pages bot
August 25, 2024 07:22 47s
August 25, 2024 07:22 47s