Skip to content

Actions: UniMath/SymmetryBook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
182 workflow runs
182 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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