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 #209: by github-pages bot
August 22, 2023 13:45 57s
August 22, 2023 13:45 57s
include inverses and ap on id in lem:apcomp Build the book #634: Commit 05a6e4c pushed by UlrikBuchholtz
August 22, 2023 13:41 3m 56s master
master
August 22, 2023 13:41 3m 56s
pages build and deployment pages-build-deployment #208: by github-pages bot
August 22, 2023 13:22 51s
August 22, 2023 13:22 51s
fix bang in glossary Build the book #633: Commit ad523e1 pushed by UlrikBuchholtz
August 22, 2023 13:18 3m 59s master
master
August 22, 2023 13:18 3m 59s
wip glossary ! Build the book #632: Commit c9cc6cb pushed by marcbezem
August 22, 2023 13:10 3m 49s master
master
August 22, 2023 13:10 3m 49s
pages build and deployment pages-build-deployment #207: by github-pages bot
August 22, 2023 09:55 57s
August 22, 2023 09:55 57s
Merge branch 'master' of github.com:UniMath/SymmetryBook Build the book #631: Commit f4f639f pushed by marcbezem
August 22, 2023 09:51 3m 56s master
master
August 22, 2023 09:51 3m 56s
pages build and deployment pages-build-deployment #206: by github-pages bot
August 22, 2023 09:49 58s
August 22, 2023 09:49 58s
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