Skip to content

Actions: UniMath/SymmetryBook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
186 workflow runs
186 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
start reworking BqG in Ch. 5 Build the book #910: Commit 8cfef86 pushed by marcbezem
5m 27s master
master
5m 27s
pages build and deployment pages-build-deployment #475: by github-pages Bot
1m 25s gh-pages
gh-pages
1m 25s
Done naturality of r_G Build the book #909: Commit 6cede9f pushed by marcbezem
5m 34s master
master
5m 34s
pages build and deployment pages-build-deployment #474: by github-pages Bot
42s gh-pages
gh-pages
42s
Cayley explanation Build the book #908: Commit d252eb1 pushed by marcbezem
5m 19s master
master
5m 19s
pages build and deployment pages-build-deployment #473: by github-pages Bot
37s gh-pages
gh-pages
37s
Review the reviewed version of Cayley -- should be aligned with the r… Build the book #907: Commit ccb8bf7 pushed by pierrecagne
4m 47s master
master
4m 47s
pages build and deployment pages-build-deployment #472: by github-pages Bot
50s gh-pages
gh-pages
50s
Review Burnside done; need to go back to Cayley after today's discussion Build the book #906: Commit 5e6d5d6 pushed by pierrecagne
4m 45s master
master
4m 45s
pages build and deployment pages-build-deployment #471: by github-pages Bot
1m 40s gh-pages
gh-pages
1m 40s
add line to README on convention on Cayley/co-Yoneda Build the book #905: Commit 46938f1 pushed by UlrikBuchholtz
3m 58s master
master
3m 58s
pages build and deployment pages-build-deployment #470: by github-pages Bot
42s gh-pages
gh-pages
42s
pages build and deployment pages-build-deployment #469: by github-pages Bot
48s gh-pages
gh-pages
48s
tiny Build the book #904: Commit 1f63d50 pushed by UlrikBuchholtz
4m 50s master
master
4m 50s
Cayley fixed (for now) -- we might want to take multiplication on the… Build the book #903: Commit 2760807 pushed by pierrecagne
4m 58s master
master
4m 58s
pages build and deployment pages-build-deployment #468: by github-pages Bot
40s gh-pages
gh-pages
40s
categorical products and coproducts Build the book #902: Commit b469c7f pushed by UlrikBuchholtz
4m 40s master
master
4m 40s
pages build and deployment pages-build-deployment #467: by github-pages Bot
37s gh-pages
gh-pages
37s
getting rid of most WIP in chapter 5 up until Cayley (excluded) Build the book #901: Commit cbc9292 pushed by pierrecagne
5m 21s master
master
5m 21s
pages build and deployment pages-build-deployment #466: by github-pages Bot
2m 34s gh-pages
gh-pages
2m 34s
more cats, incl. start of flagged cats Build the book #900: Commit 7b55af9 pushed by UlrikBuchholtz
4m 32s master
master
4m 32s
pages build and deployment pages-build-deployment #465: by github-pages Bot
47s gh-pages
gh-pages
47s
1-types are groupoids Build the book #899: Commit 1e00b44 pushed by UlrikBuchholtz
4m 38s master
master
4m 38s
pages build and deployment pages-build-deployment #464: by github-pages Bot
59s gh-pages
gh-pages
59s
Rezk completion Build the book #898: Commit 7fa9582 pushed by UlrikBuchholtz
5m 31s master
master
5m 31s