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 #233: by github-pages bot
October 9, 2023 12:11 1m 0s
October 9, 2023 12:11 1m 0s
reformulate Lem. 4.11.5 slightly to avoid implicit use of choice Build the book #661: Commit 67da579 pushed by UlrikBuchholtz
October 9, 2023 12:06 4m 17s master
master
October 9, 2023 12:06 4m 17s
pages build and deployment pages-build-deployment #232: by github-pages bot
October 9, 2023 10:56 53s
October 9, 2023 10:56 53s
add draft of proof that group epis are surjective, following Trimble Build the book #660: Commit 26c008f pushed by UlrikBuchholtz
October 9, 2023 10:51 4m 45s master
master
October 9, 2023 10:51 4m 45s
pages build and deployment pages-build-deployment #231: by github-pages bot
October 7, 2023 17:56 58s
October 7, 2023 17:56 58s
polish + Cyc also as formula Build the book #659: Commit d26e9ec pushed by marcbezem
October 7, 2023 17:52 4m 9s master
master
October 7, 2023 17:52 4m 9s
pages build and deployment pages-build-deployment #230: by github-pages bot
October 5, 2023 18:48 1m 2s
October 5, 2023 18:48 1m 2s
polish 3.6.1-3 Build the book #658: Commit 6ac1a6e pushed by marcbezem
October 5, 2023 18:43 5m 49s master
master
October 5, 2023 18:43 5m 49s
pages build and deployment pages-build-deployment #229: by github-pages bot
October 5, 2023 12:04 59s
October 5, 2023 12:04 59s
3.6.2 and 3 Build the book #657: Commit c12710e pushed by marcbezem
October 5, 2023 11:59 5m 21s master
master
October 5, 2023 11:59 5m 21s
pages build and deployment pages-build-deployment #228: by github-pages bot
September 29, 2023 08:20 55s
September 29, 2023 08:20 55s
conflict in papers.bib resolved Build the book #656: Commit 6efbe74 pushed by marcbezem
September 29, 2023 08:15 4m 25s master
master
September 29, 2023 08:15 4m 25s
pages build and deployment pages-build-deployment #227: by github-pages bot
September 28, 2023 20:40 48s
September 28, 2023 20:40 48s
add category theory refs Build the book #655: Commit e6fdc00 pushed by UlrikBuchholtz
September 28, 2023 20:36 4m 19s master
master
September 28, 2023 20:36 4m 19s
pages build and deployment pages-build-deployment #226: by github-pages bot
September 21, 2023 13:35 1m 1s
September 21, 2023 13:35 1m 1s
add in Abelian groups a lemma proving the universal cover is universa… Build the book #654: Commit fb3138b pushed by pierrecagne
September 21, 2023 13:31 4m 1s master
master
September 21, 2023 13:31 4m 1s
pages build and deployment pages-build-deployment #225: by github-pages bot
September 16, 2023 18:36 56s
September 16, 2023 18:36 56s
done with 3.5 Build the book #653: Commit da2a601 pushed by marcbezem
September 16, 2023 18:32 4m 20s master
master
September 16, 2023 18:32 4m 20s
pages build and deployment pages-build-deployment #224: by github-pages bot
September 14, 2023 15:11 56s
September 14, 2023 15:11 56s
typos Build the book #652: Commit 086d718 pushed by UlrikBuchholtz
September 14, 2023 15:05 6m 6s master
master
September 14, 2023 15:05 6m 6s
pages build and deployment pages-build-deployment #223: by github-pages bot
September 14, 2023 15:05 48s
September 14, 2023 15:05 48s
small in 3.5 Build the book #651: Commit b03ba85 pushed by UlrikBuchholtz
September 14, 2023 15:01 4m 0s master
master
September 14, 2023 15:01 4m 0s
pages build and deployment pages-build-deployment #222: by github-pages bot
September 14, 2023 14:42 1m 0s
September 14, 2023 14:42 1m 0s
pages build and deployment pages-build-deployment #221: by github-pages bot
September 14, 2023 14:41 51s
September 14, 2023 14:41 51s
tiny Build the book #650: Commit 82d62a6 pushed by UlrikBuchholtz
September 14, 2023 14:38 4m 9s master
master
September 14, 2023 14:38 4m 9s