Skip to content

Actions: UniMath/SymmetryBook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
201 workflow runs
201 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #330: by github-pages bot
January 9, 2025 15:29 40s gh-pages
gh-pages
January 9, 2025 15:29 40s
fix names in eq. 5.2.2 Build the book #761: Commit afd4c7c pushed by UlrikBuchholtz
January 9, 2025 15:26 3m 28s master
master
January 9, 2025 15:26 3m 28s
pages build and deployment pages-build-deployment #329: by github-pages bot
January 9, 2025 15:22 40s gh-pages
gh-pages
January 9, 2025 15:22 40s
starting working 5.3 over Build the book #760: Commit d837aad pushed by UlrikBuchholtz
January 9, 2025 15:18 3m 38s master
master
January 9, 2025 15:18 3m 38s
pages build and deployment pages-build-deployment #328: by github-pages bot
January 9, 2025 14:41 1m 32s gh-pages
gh-pages
January 9, 2025 14:41 1m 32s
Build the book Build the book #759: by marcbezem
January 9, 2025 14:38 3m 33s master
master
January 9, 2025 14:38 3m 33s
pages build and deployment pages-build-deployment #327: by github-pages bot
January 6, 2025 16:36 40s gh-pages
gh-pages
January 6, 2025 16:36 40s
add a picture of S2 acting on C3 Build the book #758: Commit 8492a41 pushed by UlrikBuchholtz
January 6, 2025 16:32 3m 57s master
master
January 6, 2025 16:32 3m 57s
pages build and deployment pages-build-deployment #326: by github-pages bot
January 6, 2025 14:29 39s gh-pages
gh-pages
January 6, 2025 14:29 39s
updates in 5.2, incl action of S2 on C3 Build the book #757: Commit 51e8988 pushed by UlrikBuchholtz
January 6, 2025 14:25 3m 29s master
master
January 6, 2025 14:25 3m 29s
pages build and deployment pages-build-deployment #325: by github-pages bot
January 5, 2025 19:57 37s gh-pages
gh-pages
January 5, 2025 19:57 37s
Merge branch 'master' of github.com:UniMath/SymmetryBook Build the book #756: Commit 555aad4 pushed by marcbezem
January 5, 2025 19:54 3m 26s master
master
January 5, 2025 19:54 3m 26s
pages build and deployment pages-build-deployment #324: by github-pages bot
January 2, 2025 16:12 38s gh-pages
gh-pages
January 2, 2025 16:12 38s
a fix in 2.25.8 Build the book #755: Commit 7041050 pushed by UlrikBuchholtz
January 2, 2025 16:09 3m 33s master
master
January 2, 2025 16:09 3m 33s
pages build and deployment pages-build-deployment #323: by github-pages bot
January 2, 2025 15:22 38s gh-pages
gh-pages
January 2, 2025 15:22 38s
update to 5.2.11 Build the book #754: Commit fd8138c pushed by UlrikBuchholtz
January 2, 2025 15:19 3m 53s master
master
January 2, 2025 15:19 3m 53s
pages build and deployment pages-build-deployment #322: by github-pages bot
January 2, 2025 15:00 45s gh-pages
gh-pages
January 2, 2025 15:00 45s
rename twist to swap to free twist for twisting (make clean needed) Build the book #753: Commit 991d8c0 pushed by UlrikBuchholtz
January 2, 2025 14:57 3m 23s master
master
January 2, 2025 14:57 3m 23s
pages build and deployment pages-build-deployment #321: by github-pages bot
December 30, 2024 11:00 35s gh-pages
gh-pages
December 30, 2024 11:00 35s
5.4 as far as MB came Build the book #752: Commit f417a5f pushed by marcbezem
December 30, 2024 10:57 3m 28s master
master
December 30, 2024 10:57 3m 28s
pages build and deployment pages-build-deployment #320: by github-pages bot
December 27, 2024 15:41 43s gh-pages
gh-pages
December 27, 2024 15:41 43s
MB done 5.2 , NB 5.2.11 Build the book #751: Commit 23fdb52 pushed by marcbezem
December 27, 2024 15:37 3m 51s master
master
December 27, 2024 15:37 3m 51s
pages build and deployment pages-build-deployment #319: by github-pages bot
December 26, 2024 14:54 36s gh-pages
gh-pages
December 26, 2024 14:54 36s
new def of orbit wip upto Lagrange Build the book #750: Commit 2592510 pushed by marcbezem
December 26, 2024 14:50 3m 49s master
master
December 26, 2024 14:50 3m 49s
pages build and deployment pages-build-deployment #318: by github-pages bot
December 18, 2024 19:20 46s gh-pages
gh-pages
December 18, 2024 19:20 46s