Skip to content

Actions: UniMath/SymmetryBook

Actions

Build the book

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
latexmk.yml
90 workflow runs
90 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

wip 3.10 Build the book #694: Commit d6074f6 pushed by marcbezem
April 4, 2024 08:20 3m 34s master
master
April 4, 2024 08:20 3m 34s
Merge branch 'master' of github.com:UniMath/SymmetryBook Build the book #693: Commit 3d7c68d pushed by marcbezem
March 18, 2024 09:32 3m 55s master
master
March 18, 2024 09:32 3m 55s
insert a missing article Build the book #692: Commit e7a8717 pushed by DanGrayson
March 14, 2024 15:42 3m 29s master
master
March 14, 2024 15:42 3m 29s
marginnote 2.17.12 and wip 3.9 Build the book #691: Commit 8b78891 pushed by marcbezem
March 8, 2024 20:28 3m 39s master
master
March 8, 2024 20:28 3m 39s
better xca:map-of-cycles, polish Build the book #690: Commit 2c3cf69 pushed by marcbezem
February 22, 2024 12:27 3m 35s master
master
February 22, 2024 12:27 3m 35s
xca:fequiviffHt=Hu added Build the book #689: Commit 9c12353 pushed by marcbezem
February 16, 2024 14:11 3m 25s master
master
February 16, 2024 14:11 3m 25s
3.8 polished Build the book #688: Commit acd7ed1 pushed by marcbezem
February 15, 2024 13:37 3m 26s master
master
February 15, 2024 13:37 3m 26s
Merge branch 'master' of github.com:UniMath/SymmetryBook Build the book #687: Commit f864f7f pushed by marcbezem
February 12, 2024 20:09 3m 44s master
master
February 12, 2024 20:09 3m 44s
cleaning up 4.12.14 about Warn's construction Build the book #686: Commit f2adaf6 pushed by pierrecagne
February 8, 2024 15:08 3m 59s master
master
February 8, 2024 15:08 3m 59s
substype vs sum type Build the book #685: Commit a1c322e pushed by marcbezem
February 8, 2024 14:38 3m 25s master
master
February 8, 2024 14:38 3m 25s
done 3.8 Build the book #684: Commit a60168a pushed by marcbezem
January 31, 2024 18:51 3m 45s master
master
January 31, 2024 18:51 3m 45s
done with 4.4.26 Build the book #683: Commit c3f12a7 pushed by marcbezem
January 4, 2024 13:48 3m 30s master
master
January 4, 2024 13:48 3m 30s
Fix typos Build the book #682: Pull request #197 opened by pitmonticone
December 21, 2023 15:04 3m 49s pitmonticone:master
pitmonticone:master
December 21, 2023 15:04 3m 49s
wip 3.8 Build the book #681: Commit c267311 pushed by marcbezem
December 14, 2023 14:52 3m 53s master
master
December 14, 2023 14:52 3m 53s
intro 5.7 -> 4.4.26-27 Build the book #680: Commit 51bb316 pushed by marcbezem
December 13, 2023 15:33 3m 32s master
master
December 13, 2023 15:33 3m 32s