Skip to content

Actions: UniMath/SymmetryBook

Build the book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
90 workflow runs
90 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
August 29, 2024 11:32 3m 24s
define alternating groups in 4.5
Build the book #718: Commit f48d2d9 pushed by UlrikBuchholtz
August 26, 2024 10:48 3m 29s master
August 26, 2024 10:48 3m 29s
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
August 25, 2024 09:43 3m 21s
characterizing free and invariant elements
Build the book #716: Commit 2c1abdf pushed by UlrikBuchholtz
August 25, 2024 07:19 3m 21s master
August 25, 2024 07:19 3m 21s
minor
Build the book #715: Commit bc24ac2 pushed by UlrikBuchholtz
August 22, 2024 15:03 3m 26s master
August 22, 2024 15:03 3m 26s
going through sec. 4.7 (G-Sets)
Build the book #714: Commit e216aeb pushed by UlrikBuchholtz
August 22, 2024 12:10 3m 37s master
August 22, 2024 12:10 3m 37s
xca:2-element-sets
Build the book #713: Commit c0ce345 pushed by marcbezem
August 18, 2024 15:01 3m 18s master
August 18, 2024 15:01 3m 18s
\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
August 15, 2024 16:37 3m 58s
wip 4.6
Build the book #711: Commit 0a1d404 pushed by marcbezem
August 15, 2024 10:15 3m 18s master
August 15, 2024 10:15 3m 18s
small in 4.5
Build the book #710: Commit bd94e6c pushed by UlrikBuchholtz
August 8, 2024 14:39 3m 37s master
August 8, 2024 14:39 3m 37s
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
August 8, 2024 13:38 3m 23s
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
August 1, 2024 14:47 3m 31s
done with 4.5
Build the book #707: Commit 3b92861 pushed by marcbezem
July 30, 2024 13:56 3m 23s master
July 30, 2024 13:56 3m 23s
done 4.4
Build the book #706: Commit 9790bf0 pushed by marcbezem
July 25, 2024 12:11 3m 32s master
July 25, 2024 12:11 3m 32s
wip upto 4.4.13
Build the book #705: Commit b074ab7 pushed by marcbezem
July 18, 2024 13:39 3m 19s master
July 18, 2024 13:39 3m 19s
done with 4.3
Build the book #704: Commit 82d5901 pushed by marcbezem
July 16, 2024 17:38 3m 22s master
July 16, 2024 17:38 3m 22s
wip up to 4.3.7
Build the book #703: Commit 8246ac0 pushed by marcbezem
July 4, 2024 13:20 3m 29s master
July 4, 2024 13:20 3m 29s
small update to universes
Build the book #702: Commit 6a33233 pushed by marcbezem
July 3, 2024 09:58 3m 24s master
July 3, 2024 09:58 3m 24s
done with 4.2
Build the book #701: Commit d5de798 pushed by marcbezem
June 27, 2024 09:12 3m 54s master
June 27, 2024 09:12 3m 54s
done upto 4.2.22
Build the book #700: Commit 134fe64 pushed by marcbezem
June 20, 2024 12:44 3m 33s master
June 20, 2024 12:44 3m 33s
Merge branch 'master' of github.com:UniMath/SymmetryBook
Build the book #699: Commit 45fec7c pushed by marcbezem
June 13, 2024 12:24 3m 22s master
June 13, 2024 12:24 3m 22s
add icosahedron to title page
Build the book #698: Commit 6e4f5d2 pushed by UlrikBuchholtz
June 12, 2024 12:14 4m 11s master
June 12, 2024 12:14 4m 11s
done upto 4.2.13
Build the book #697: Commit 5baf208 pushed by marcbezem
May 31, 2024 19:05 3m 52s master
May 31, 2024 19:05 3m 52s
done 3.10
Build the book #696: Commit 994b4f1 pushed by marcbezem
April 6, 2024 14:18 3m 30s master
April 6, 2024 14:18 3m 30s
wip 3.10
Build the book #695: Commit cdcaddf pushed by marcbezem
April 4, 2024 18:52 3m 28s master
April 4, 2024 18:52 3m 28s