Skip to content

Actions: UniMath/SymmetryBook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
243 workflow runs
243 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #201: by github-pages bot
August 18, 2023 10:10 47s
August 18, 2023 10:10 47s
last two figures for the intro for now Build the book #625: Commit 2b949fb pushed by UlrikBuchholtz
August 18, 2023 10:06 4m 12s master
master
August 18, 2023 10:06 4m 12s
pages build and deployment pages-build-deployment #200: by github-pages bot
August 17, 2023 13:46 52s
August 17, 2023 13:46 52s
two more figures for the intro Build the book #624: Commit 5a23c59 pushed by UlrikBuchholtz
August 17, 2023 13:41 4m 41s master
master
August 17, 2023 13:41 4m 41s
fix xca:ints-as-quotient and lem:euclid-div, clarify lem:PHP Build the book #623: Pull request #192 synchronize by clayrat
August 10, 2023 18:39 4m 37s clayrat:fix-2.22
clayrat:fix-2.22
August 10, 2023 18:39 4m 37s
pages build and deployment pages-build-deployment #199: by github-pages bot
August 10, 2023 14:32 54s
August 10, 2023 14:32 54s
small changes in intro Build the book #622: Commit 913d1b6 pushed by UlrikBuchholtz
August 10, 2023 14:28 3m 55s master
master
August 10, 2023 14:28 3m 55s
pages build and deployment pages-build-deployment #198: by github-pages bot
August 10, 2023 14:23 1m 3s
August 10, 2023 14:23 1m 3s
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
ProTip! You can narrow down the results and go further in time using created:<2023-07-31 or the other filters available.