Skip to content

Actions: UniMath/SymmetryBook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
240 workflow runs
240 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

done rereading 4.4 Build the book #630: Commit 689aaea pushed by UlrikBuchholtz
August 22, 2023 09:46 3m 42s master
master
August 22, 2023 09:46 3m 42s
pages build and deployment pages-build-deployment #205: by github-pages bot
August 21, 2023 10:22 1m 0s
August 21, 2023 10:22 1m 0s
work on homomorphisms (and hence also on ptd types) Build the book #629: Commit 22eb123 pushed by UlrikBuchholtz
August 21, 2023 10:17 4m 55s master
master
August 21, 2023 10:17 4m 55s
pages build and deployment pages-build-deployment #204: by github-pages bot
August 21, 2023 09:02 49s
August 21, 2023 09:02 49s
add frieze patterns placeholder in geometry chapter Build the book #628: Commit 713754f pushed by UlrikBuchholtz
August 21, 2023 08:58 3m 56s master
master
August 21, 2023 08:58 3m 56s
pages build and deployment pages-build-deployment #203: by github-pages bot
August 18, 2023 18:35 45s
August 18, 2023 18:35 45s
polish Build the book #627: Commit c620163 pushed by marcbezem
August 18, 2023 18:30 4m 37s master
master
August 18, 2023 18:30 4m 37s
pages build and deployment pages-build-deployment #202: by github-pages bot
August 18, 2023 12:42 55s
August 18, 2023 12:42 55s
Merge branch 'master' of github.com:UniMath/SymmetryBook Build the book #626: Commit 29487f4 pushed by marcbezem
August 18, 2023 12:37 4m 56s master
master
August 18, 2023 12:37 4m 56s
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