Skip to content

Actions: UniMath/SymmetryBook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
180 workflow runs
180 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 gh-pages
gh-pages
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 gh-pages
gh-pages
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 gh-pages
gh-pages
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 gh-pages
gh-pages
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 gh-pages
gh-pages
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 gh-pages
gh-pages
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 gh-pages
gh-pages
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 gh-pages
gh-pages
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 gh-pages
gh-pages
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 gh-pages
gh-pages
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 gh-pages
gh-pages
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 gh-pages
gh-pages
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