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

first figure for the intro Build the book #621: Commit 97a90d5 pushed by UlrikBuchholtz
August 10, 2023 14:19 3m 53s master
master
August 10, 2023 14:19 3m 53s
fix xca:ints-as-quotient and lem:euclid-div, clarify lem:PHP Build the book #620: Pull request #192 opened by clayrat
August 8, 2023 03:32 3m 54s clayrat:fix-2.22
clayrat:fix-2.22
August 8, 2023 03:32 3m 54s
pages build and deployment pages-build-deployment #197: by github-pages bot
August 7, 2023 18:31 58s
August 7, 2023 18:31 58s
3.3 reorganized Build the book #619: Commit 01fd86a pushed by marcbezem
August 7, 2023 18:27 3m 54s master
master
August 7, 2023 18:27 3m 54s
pages build and deployment pages-build-deployment #196: by github-pages bot
August 3, 2023 12:55 1m 1s
August 3, 2023 12:55 1m 1s
Bjørn's intro added Build the book #618: Commit f506e33 pushed by marcbezem
August 3, 2023 12:50 5m 1s master
master
August 3, 2023 12:50 5m 1s
pages build and deployment pages-build-deployment #195: by github-pages bot
August 2, 2023 13:55 54s
August 2, 2023 13:55 54s
def:univ-cover Build the book #617: Commit cb344da pushed by marcbezem
August 2, 2023 13:51 4m 14s master
master
August 2, 2023 13:51 4m 14s
Fix some typos and add a reference in circle.tex Build the book #616: Pull request #191 opened by fizruk
July 31, 2023 08:07 4m 0s fizruk:fix-circle-typos
fizruk:fix-circle-typos
July 31, 2023 08:07 4m 0s
Fix diagram and proof of Theorem 3.3.8 (set bundle over circle) Build the book #615: Pull request #190 opened by fizruk
July 31, 2023 07:36 3m 51s fizruk:fix-theorem-3.3.8
fizruk:fix-theorem-3.3.8
July 31, 2023 07:36 3m 51s
pages build and deployment pages-build-deployment #194: by github-pages bot
July 25, 2023 09:56 56s
July 25, 2023 09:56 56s
Merge pull request #188 from fizruk/fix-minor-typos-in-intro-uf Build the book #614: Commit 056d55d pushed by UlrikBuchholtz
July 25, 2023 09:52 3m 55s master
master
July 25, 2023 09:52 3m 55s
pages build and deployment pages-build-deployment #193: by github-pages bot
July 20, 2023 17:06 55s
July 20, 2023 17:06 55s
polish Build the book #612: Commit fcfc879 pushed by marcbezem
July 20, 2023 17:02 4m 10s master
master
July 20, 2023 17:02 4m 10s
pages build and deployment pages-build-deployment #192: by github-pages bot
July 17, 2023 09:10 59s
July 17, 2023 09:10 59s
polish Build the book #611: Commit 5398628 pushed by marcbezem
July 17, 2023 09:06 4m 14s master
master
July 17, 2023 09:06 4m 14s
ProTip! You can narrow down the results and go further in time using created:<2023-07-17 or the other filters available.