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 #220: by github-pages bot
September 14, 2023 14:38 56s
September 14, 2023 14:38 56s
amend footnote on multiplication on the circle Build the book #649: Commit 12b4092 pushed by UlrikBuchholtz
September 14, 2023 14:35 5m 18s master
master
September 14, 2023 14:35 5m 18s
identify C with R2 in rem:expforreal Build the book #648: Commit 9cf3723 pushed by UlrikBuchholtz
September 14, 2023 14:33 4m 24s master
master
September 14, 2023 14:33 4m 24s
pages build and deployment pages-build-deployment #219: by github-pages bot
September 14, 2023 14:09 52s
September 14, 2023 14:09 52s
move part of the old intro to the new as directed Build the book #647: Commit a730e63 pushed by UlrikBuchholtz
September 14, 2023 14:05 4m 14s master
master
September 14, 2023 14:05 4m 14s
pages build and deployment pages-build-deployment #218: by github-pages bot
September 14, 2023 14:05 1m 32s
September 14, 2023 14:05 1m 32s
margin figure with empty, one- and two-elements sets for intro Build the book #646: Commit bbf7e84 pushed by UlrikBuchholtz
September 14, 2023 14:00 4m 55s master
master
September 14, 2023 14:00 4m 55s
pages build and deployment pages-build-deployment #217: by github-pages bot
September 13, 2023 19:34 50s
September 13, 2023 19:34 50s
wip upto (3.5.1) Build the book #645: Commit 28b127e pushed by marcbezem
September 13, 2023 19:29 5m 35s master
master
September 13, 2023 19:29 5m 35s
pages build and deployment pages-build-deployment #216: by github-pages bot
September 12, 2023 17:50 2m 33s
September 12, 2023 17:50 2m 33s
wip upto Lemma 3.5.1 Build the book #644: Commit adaec79 pushed by marcbezem
September 12, 2023 17:45 4m 11s master
master
September 12, 2023 17:45 4m 11s
Replace xy with tikz in subgroups.tex Build the book #643: Pull request #180 synchronize by favonia
September 7, 2023 14:37 5m 27s avoid-xypics
avoid-xypics
September 7, 2023 14:37 5m 27s
xy to tikz: convert the preimage diagram Build the book #642: Commit 6148462 pushed by favonia
September 7, 2023 14:37 5m 24s avoid-xypics
avoid-xypics
September 7, 2023 14:37 5m 24s
pages build and deployment pages-build-deployment #215: by github-pages bot
September 7, 2023 14:20 59s
September 7, 2023 14:20 59s
add more of Bjørn's intro Build the book #641: Commit 0ce0d87 pushed by UlrikBuchholtz
September 7, 2023 14:16 4m 26s master
master
September 7, 2023 14:16 4m 26s
pages build and deployment pages-build-deployment #214: by github-pages bot
September 7, 2023 13:59 1m 1s
September 7, 2023 13:59 1m 1s
polish 4.4 Build the book #640: Commit b66b3c3 pushed by marcbezem
September 7, 2023 13:54 4m 20s master
master
September 7, 2023 13:54 4m 20s
pages build and deployment pages-build-deployment #213: by github-pages bot
September 5, 2023 15:20 1m 11s
September 5, 2023 15:20 1m 11s
done with 3.4 Build the book #639: Commit c9bb11d pushed by marcbezem
September 5, 2023 15:15 5m 15s master
master
September 5, 2023 15:15 5m 15s
pages build and deployment pages-build-deployment #212: by github-pages bot
August 31, 2023 14:54 1m 4s
August 31, 2023 14:54 1m 4s
small changes Build the book #638: Commit 12cf898 pushed by UlrikBuchholtz
August 31, 2023 14:49 4m 26s master
master
August 31, 2023 14:49 4m 26s
pages build and deployment pages-build-deployment #211: by github-pages bot
August 23, 2023 10:18 55s
August 23, 2023 10:18 55s
make all equivto-like macros agree Build the book #636: Commit 33011eb pushed by UlrikBuchholtz
August 23, 2023 10:14 4m 44s master
master
August 23, 2023 10:14 4m 44s
pages build and deployment pages-build-deployment #210: by github-pages bot
August 22, 2023 14:00 55s
August 22, 2023 14:00 55s
change witness of pointedness to pointing path Build the book #635: Commit b8606ac pushed by UlrikBuchholtz
August 22, 2023 13:55 4m 40s master
master
August 22, 2023 13:55 4m 40s