Skip to content

Actions: UniMath/SymmetryBook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
241 workflow runs
241 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #257: by github-pages bot
February 12, 2024 20:12 33s
February 12, 2024 20:12 33s
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
pages build and deployment pages-build-deployment #256: by github-pages bot
February 8, 2024 15:12 44s
February 8, 2024 15:12 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
pages build and deployment pages-build-deployment #255: by github-pages bot
February 8, 2024 14:41 46s
February 8, 2024 14:41 46s
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
pages build and deployment pages-build-deployment #254: by github-pages bot
January 31, 2024 18:55 1m 7s
January 31, 2024 18:55 1m 7s
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
pages build and deployment pages-build-deployment #253: by github-pages bot
January 4, 2024 13:52 49s
January 4, 2024 13:52 49s
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
pages build and deployment pages-build-deployment #252: by github-pages bot
December 14, 2023 14:56 48s
December 14, 2023 14:56 48s
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
pages build and deployment pages-build-deployment #251: by github-pages bot
December 13, 2023 15:37 56s
December 13, 2023 15:37 56s
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
pages build and deployment pages-build-deployment #250: by github-pages bot
December 7, 2023 15:24 48s
December 7, 2023 15:24 48s
suggestions 5.7 Build the book #679: Commit c7af8be pushed by marcbezem
December 7, 2023 15:20 3m 30s master
master
December 7, 2023 15:20 3m 30s
pages build and deployment pages-build-deployment #249: by github-pages bot
November 30, 2023 15:03 2m 28s
November 30, 2023 15:03 2m 28s
wip upto 3.8.5 Build the book #678: Commit 2bf6454 pushed by marcbezem
November 30, 2023 15:00 3m 34s master
master
November 30, 2023 15:00 3m 34s
pages build and deployment pages-build-deployment #248: by github-pages bot
November 23, 2023 15:38 46s
November 23, 2023 15:38 46s
wip + Ulrik's glossary trick 3.8 Build the book #677: Commit a56dfd2 pushed by marcbezem
November 23, 2023 15:35 3m 29s master
master
November 23, 2023 15:35 3m 29s
pages build and deployment pages-build-deployment #247: by github-pages bot
November 23, 2023 15:30 44s
November 23, 2023 15:30 44s
add mth root to glossary Build the book #676: Commit 456b993 pushed by UlrikBuchholtz
November 23, 2023 15:26 3m 47s master
master
November 23, 2023 15:26 3m 47s
pages build and deployment pages-build-deployment #246: by github-pages bot
November 16, 2023 13:19 51s
November 16, 2023 13:19 51s
done with 3.7? Build the book #675: Commit f6656bb pushed by marcbezem
November 16, 2023 13:15 3m 47s master
master
November 16, 2023 13:15 3m 47s