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

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
pages build and deployment pages-build-deployment #278: by github-pages bot
August 1, 2024 14:51 34s
August 1, 2024 14:51 34s
crossing overs in fig. 4.3 and 4.4 Build the book #708: Commit a73a0a6 pushed by UlrikBuchholtz
August 1, 2024 14:47 3m 31s master
master
August 1, 2024 14:47 3m 31s
pages build and deployment pages-build-deployment #277: by github-pages bot
July 30, 2024 13:59 36s
July 30, 2024 13:59 36s
done with 4.5 Build the book #707: Commit 3b92861 pushed by marcbezem
July 30, 2024 13:56 3m 23s master
master
July 30, 2024 13:56 3m 23s
pages build and deployment pages-build-deployment #276: by github-pages bot
July 25, 2024 12:15 37s
July 25, 2024 12:15 37s
done 4.4 Build the book #706: Commit 9790bf0 pushed by marcbezem
July 25, 2024 12:11 3m 32s master
master
July 25, 2024 12:11 3m 32s
pages build and deployment pages-build-deployment #275: by github-pages bot
July 18, 2024 13:42 37s
July 18, 2024 13:42 37s
wip upto 4.4.13 Build the book #705: Commit b074ab7 pushed by marcbezem
July 18, 2024 13:39 3m 19s master
master
July 18, 2024 13:39 3m 19s
pages build and deployment pages-build-deployment #274: by github-pages bot
July 16, 2024 17:41 34s
July 16, 2024 17:41 34s
done with 4.3 Build the book #704: Commit 82d5901 pushed by marcbezem
July 16, 2024 17:38 3m 22s master
master
July 16, 2024 17:38 3m 22s