Skip to content

Actions: UniMath/SymmetryBook

Actions

Build the book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
latexmk.yml
97 workflow runs
97 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

finite group + minor in 5.8 Build the book #769: Commit 5b9949c pushed by marcbezem
January 24, 2025 15:47 3m 29s master
master
January 24, 2025 15:47 3m 29s
xca:map-induces-quotient Build the book #768: Commit ec9be72 pushed by marcbezem
January 20, 2025 13:26 3m 48s master
master
January 20, 2025 13:26 3m 48s
fix footnote on ttac Build the book #767: Commit b4568e6 pushed by UlrikBuchholtz
January 17, 2025 10:47 3m 31s master
master
January 17, 2025 10:47 3m 31s
fixes of \Sub and subtype in Ch3 Build the book #766: Commit 5dec441 pushed by marcbezem
January 17, 2025 10:25 3m 24s master
master
January 17, 2025 10:25 3m 24s
Merge branch 'master' of github.com:UniMath/SymmetryBook Build the book #765: Commit 525410e pushed by marcbezem
January 16, 2025 19:07 3m 30s master
master
January 16, 2025 19:07 3m 30s
move footnote in congp Build the book #764: Commit 03ea35a pushed by UlrikBuchholtz
January 16, 2025 15:47 3m 40s master
master
January 16, 2025 15:47 3m 40s
Merge branch 'master' of github.com:UniMath/SymmetryBook Build the book #763: Commit e5ba465 pushed by marcbezem
January 16, 2025 15:21 3m 40s master
master
January 16, 2025 15:21 3m 40s
minor in subgroups Build the book #762: Commit fccad3f pushed by UlrikBuchholtz
January 16, 2025 15:18 3m 31s master
master
January 16, 2025 15:18 3m 31s
fix names in eq. 5.2.2 Build the book #761: Commit afd4c7c pushed by UlrikBuchholtz
January 9, 2025 15:26 3m 28s master
master
January 9, 2025 15:26 3m 28s
starting working 5.3 over Build the book #760: Commit d837aad pushed by UlrikBuchholtz
January 9, 2025 15:18 3m 38s master
master
January 9, 2025 15:18 3m 38s
Build the book Build the book #759: by marcbezem
January 9, 2025 14:38 3m 33s master
master
January 9, 2025 14:38 3m 33s
add a picture of S2 acting on C3 Build the book #758: Commit 8492a41 pushed by UlrikBuchholtz
January 6, 2025 16:32 3m 57s master
master
January 6, 2025 16:32 3m 57s
updates in 5.2, incl action of S2 on C3 Build the book #757: Commit 51e8988 pushed by UlrikBuchholtz
January 6, 2025 14:25 3m 29s master
master
January 6, 2025 14:25 3m 29s
Merge branch 'master' of github.com:UniMath/SymmetryBook Build the book #756: Commit 555aad4 pushed by marcbezem
January 5, 2025 19:54 3m 26s master
master
January 5, 2025 19:54 3m 26s
a fix in 2.25.8 Build the book #755: Commit 7041050 pushed by UlrikBuchholtz
January 2, 2025 16:09 3m 33s master
master
January 2, 2025 16:09 3m 33s
update to 5.2.11 Build the book #754: Commit fd8138c pushed by UlrikBuchholtz
January 2, 2025 15:19 3m 53s master
master
January 2, 2025 15:19 3m 53s
rename twist to swap to free twist for twisting (make clean needed) Build the book #753: Commit 991d8c0 pushed by UlrikBuchholtz
January 2, 2025 14:57 3m 23s master
master
January 2, 2025 14:57 3m 23s
5.4 as far as MB came Build the book #752: Commit f417a5f pushed by marcbezem
December 30, 2024 10:57 3m 28s master
master
December 30, 2024 10:57 3m 28s
MB done 5.2 , NB 5.2.11 Build the book #751: Commit 23fdb52 pushed by marcbezem
December 27, 2024 15:37 3m 51s master
master
December 27, 2024 15:37 3m 51s
new def of orbit wip upto Lagrange Build the book #750: Commit 2592510 pushed by marcbezem
December 26, 2024 14:50 3m 49s master
master
December 26, 2024 14:50 3m 49s
new def of orbit wip upto 5.4.9 Build the book #749: Commit f3d1dc7 pushed by marcbezem
December 18, 2024 19:16 3m 28s master
master
December 18, 2024 19:16 3m 28s
Lagrange + extra in 5.4 Build the book #748: Commit a04ec51 pushed by marcbezem
December 12, 2024 12:05 3m 57s master
master
December 12, 2024 12:05 3m 57s
orbit-stabilizer thm in 5.4 Build the book #747: Commit 7443c75 pushed by marcbezem
December 8, 2024 19:58 3m 25s master
master
December 8, 2024 19:58 3m 25s
xca:G/X-set-of-orbits to lem:... in 5.4 Build the book #746: Commit 94fca29 pushed by marcbezem
December 5, 2024 11:55 3m 28s master
master
December 5, 2024 11:55 3m 28s
xca:G/X-set-of-orbits and lem:splitting into orbits in 5.4 Build the book #745: Commit f855b93 pushed by marcbezem
December 4, 2024 09:37 3m 30s master
master
December 4, 2024 09:37 3m 30s