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 #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
characterizing free and invariant elements Build the book #716: Commit 2c1abdf pushed by UlrikBuchholtz
August 25, 2024 07:19 3m 21s master
master
August 25, 2024 07:19 3m 21s
pages build and deployment pages-build-deployment #285: by github-pages bot
August 22, 2024 15:06 50s
August 22, 2024 15:06 50s
minor Build the book #715: Commit bc24ac2 pushed by UlrikBuchholtz
August 22, 2024 15:03 3m 26s master
master
August 22, 2024 15:03 3m 26s
pages build and deployment pages-build-deployment #284: by github-pages bot
August 22, 2024 12:14 42s
August 22, 2024 12:14 42s
going through sec. 4.7 (G-Sets) Build the book #714: Commit e216aeb pushed by UlrikBuchholtz
August 22, 2024 12:10 3m 37s master
master
August 22, 2024 12:10 3m 37s
pages build and deployment pages-build-deployment #283: by github-pages bot
August 18, 2024 15:04 42s
August 18, 2024 15:04 42s
xca:2-element-sets Build the book #713: Commit c0ce345 pushed by marcbezem
August 18, 2024 15:01 3m 18s master
master
August 18, 2024 15:01 3m 18s
pages build and deployment pages-build-deployment #282: by github-pages bot
August 15, 2024 16:41 38s
August 15, 2024 16:41 38s
\USym X to \USymX for X=G,H,f. Unresolved: \US f, \Usym composite Build the book #712: Commit dbae9a0 pushed by marcbezem
August 15, 2024 16:37 3m 58s master
master
August 15, 2024 16:37 3m 58s
pages build and deployment pages-build-deployment #281: by github-pages bot
August 15, 2024 10:18 55s
August 15, 2024 10:18 55s
wip 4.6 Build the book #711: Commit 0a1d404 pushed by marcbezem
August 15, 2024 10:15 3m 18s master
master
August 15, 2024 10:15 3m 18s
pages build and deployment pages-build-deployment #280: by github-pages bot
August 8, 2024 14:42 42s
August 8, 2024 14:42 42s
small in 4.5 Build the book #710: Commit bd94e6c pushed by UlrikBuchholtz
August 8, 2024 14:39 3m 37s master
master
August 8, 2024 14:39 3m 37s
pages build and deployment pages-build-deployment #279: by github-pages bot
August 8, 2024 13:42 44s
August 8, 2024 13:42 44s
Correct paragraph between 4.5.7 and 4.5.8. It now avoids an inmplicit… Build the book #709: Commit fad5cb6 pushed by pierrecagne
August 8, 2024 13:38 3m 23s master
master
August 8, 2024 13:38 3m 23s