Skip to content

Actions: UniMath/SymmetryBook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
179 workflow runs
179 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #342: by github-pages bot
March 6, 2025 14:44 38s gh-pages
gh-pages
March 6, 2025 14:44 38s
w.i.p. Burnside Build the book #773: Commit 0d404e8 pushed by marcbezem
March 6, 2025 14:41 3m 58s master
master
March 6, 2025 14:41 3m 58s
pages build and deployment pages-build-deployment #341: by github-pages bot
March 3, 2025 14:02 43s gh-pages
gh-pages
March 3, 2025 14:02 43s
Lagrange Construction Build the book #772: Commit 4d1a499 pushed by marcbezem
March 3, 2025 13:58 4m 4s master
master
March 3, 2025 13:58 4m 4s
pages build and deployment pages-build-deployment #340: by github-pages bot
February 27, 2025 09:06 46s gh-pages
gh-pages
February 27, 2025 09:06 46s
new formulation of Lagrange Build the book #771: Commit 96e8c38 pushed by marcbezem
February 27, 2025 09:03 3m 34s master
master
February 27, 2025 09:03 3m 34s
pages build and deployment pages-build-deployment #339: by github-pages bot
February 20, 2025 08:40 42s gh-pages
gh-pages
February 20, 2025 08:40 42s
def, xca, exa added to 5.8 Build the book #770: Commit 9c5adb8 pushed by marcbezem
February 20, 2025 08:37 3m 32s master
master
February 20, 2025 08:37 3m 32s
pages build and deployment pages-build-deployment #338: by github-pages bot
January 24, 2025 15:50 44s gh-pages
gh-pages
January 24, 2025 15:50 44s
finite group + minor in 5.8 Build the book #769: Commit 5b9949c pushed by marcbezem
January 24, 2025 15:47 3m 29s master
master
January 24, 2025 15:47 3m 29s
pages build and deployment pages-build-deployment #337: by github-pages bot
January 20, 2025 13:30 5m 42s gh-pages
gh-pages
January 20, 2025 13:30 5m 42s
xca:map-induces-quotient Build the book #768: Commit ec9be72 pushed by marcbezem
January 20, 2025 13:26 3m 48s master
master
January 20, 2025 13:26 3m 48s
pages build and deployment pages-build-deployment #336: by github-pages bot
January 17, 2025 10:51 43s gh-pages
gh-pages
January 17, 2025 10:51 43s
fix footnote on ttac Build the book #767: Commit b4568e6 pushed by UlrikBuchholtz
January 17, 2025 10:47 3m 31s master
master
January 17, 2025 10:47 3m 31s
pages build and deployment pages-build-deployment #335: by github-pages bot
January 17, 2025 10:28 42s gh-pages
gh-pages
January 17, 2025 10:28 42s
fixes of \Sub and subtype in Ch3 Build the book #766: Commit 5dec441 pushed by marcbezem
January 17, 2025 10:25 3m 24s master
master
January 17, 2025 10:25 3m 24s
pages build and deployment pages-build-deployment #334: by github-pages bot
January 16, 2025 19:11 37s gh-pages
gh-pages
January 16, 2025 19:11 37s
Merge branch 'master' of github.com:UniMath/SymmetryBook Build the book #765: Commit 525410e pushed by marcbezem
January 16, 2025 19:07 3m 30s master
master
January 16, 2025 19:07 3m 30s
pages build and deployment pages-build-deployment #333: by github-pages bot
January 16, 2025 15:51 36s gh-pages
gh-pages
January 16, 2025 15:51 36s
move footnote in congp Build the book #764: Commit 03ea35a pushed by UlrikBuchholtz
January 16, 2025 15:47 3m 40s master
master
January 16, 2025 15:47 3m 40s
pages build and deployment pages-build-deployment #332: by github-pages bot
January 16, 2025 15:24 39s gh-pages
gh-pages
January 16, 2025 15:24 39s
pages build and deployment pages-build-deployment #331: by github-pages bot
January 16, 2025 15:22 43s gh-pages
gh-pages
January 16, 2025 15:22 43s
Merge branch 'master' of github.com:UniMath/SymmetryBook Build the book #763: Commit e5ba465 pushed by marcbezem
January 16, 2025 15:21 3m 40s master
master
January 16, 2025 15:21 3m 40s
minor in subgroups Build the book #762: Commit fccad3f pushed by UlrikBuchholtz
January 16, 2025 15:18 3m 31s master
master
January 16, 2025 15:18 3m 31s
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