Skip to content

Actions: gap-packages/typeset

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: test against stable-4.14
CI #246: Commit 665b558 pushed by fingolfin
December 12, 2024 16:31 9m 14s main
December 12, 2024 16:31 9m 14s
CI: use CODECOV_TOKEN
CI #245: Commit 1ae1f3e pushed by fingolfin
July 2, 2024 13:57 3m 16s main
July 2, 2024 13:57 3m 16s
March 23, 2024 21:58 3m 0s
pages build and deployment
pages-build-deployment #14: by ZachNewbery
March 1, 2024 22:06 54s gh-pages
March 1, 2024 22:06 54s
Version 1.2.2
CI #243: Commit 964a360 pushed by ZachNewbery
March 1, 2024 22:06 3m 2s main
March 1, 2024 22:06 3m 2s
Exclude digraphs tests with OnlyNeeded (#33)
CI #242: Commit 402c199 pushed by ZachNewbery
February 29, 2024 23:11 3m 4s main
February 29, 2024 23:11 3m 4s
Fix tests with OnlyNeeded
CI #241: Pull request #33 opened by fingolfin
February 27, 2024 14:43 4m 5s mh/fix-OnlyNeeded
February 27, 2024 14:43 4m 5s
pages build and deployment
pages-build-deployment #13: by fingolfin
February 20, 2024 16:27 42s gh-pages
February 20, 2024 16:27 42s
pages build and deployment
pages-build-deployment #12: by ZachNewbery
February 20, 2024 13:39 43s gh-pages
February 20, 2024 13:39 43s
Version 1.2.1
CI #240: Commit e74f59c pushed by ZachNewbery
February 20, 2024 13:39 3m 31s main
February 20, 2024 13:39 3m 31s
PackageInfo.g: deposited package status (#31)
CI #239: Commit 1510d67 pushed by ZachNewbery
February 20, 2024 13:26 3m 28s main
February 20, 2024 13:26 3m 28s
PackageInfo.g: fix package status
CI #238: Pull request #31 opened by fingolfin
February 20, 2024 08:43 3m 18s mh/fix-PackageInfo.g
February 20, 2024 08:43 3m 18s
Force-load Test Dependencies (#30)
CI #237: Commit e2d55af pushed by ZachNewbery
February 10, 2024 11:47 3m 26s main
February 10, 2024 11:47 3m 26s
Force-load Test Dependencies
CI #236: Pull request #30 synchronize by ZachNewbery
February 10, 2024 08:54 3m 9s test-deps
February 10, 2024 08:54 3m 9s
Force-load Test Dependencies
CI #235: Pull request #30 opened by ZachNewbery
February 5, 2024 15:41 3m 30s test-deps
February 5, 2024 15:41 3m 30s
pages build and deployment
pages-build-deployment #11: by ZachNewbery
February 5, 2024 15:02 43s gh-pages
February 5, 2024 15:02 43s
Version 1.2.0
CI #234: Commit 2ae56a9 pushed by ZachNewbery
February 5, 2024 15:02 3m 36s main
February 5, 2024 15:02 3m 36s
pages build and deployment
pages-build-deployment #10: by ZachNewbery
January 16, 2024 13:50 55s gh-pages
January 16, 2024 13:50 55s
Version 1.2.0
CI #233: Commit 7c9db95 pushed by ZachNewbery
January 16, 2024 13:12 3m 24s main
January 16, 2024 13:12 3m 24s
Remove 2nd arg for DeclareGlobalVariable (#28)
CI #232: Commit 30d570f pushed by ZachNewbery
January 12, 2024 14:37 3m 9s main
January 12, 2024 14:37 3m 9s
Remove generated files from repository (#27)
CI #231: Commit b106c9a pushed by ZachNewbery
January 12, 2024 14:37 3m 3s main
January 12, 2024 14:37 3m 3s
CI: update to actions/setup-python v5
CI #230: Commit 6f30722 pushed by fingolfin
January 12, 2024 00:46 3m 35s main
January 12, 2024 00:46 3m 35s
Fix CI: this repo uses main branch, not master
CI #229: Commit c558f4a pushed by fingolfin
January 12, 2024 00:17 3m 22s main
January 12, 2024 00:17 3m 22s
Remove 2nd arg for DeclareGlobalVariable
CI #228: Pull request #28 opened by fingolfin
January 12, 2024 00:15 3m 26s mh/DeclareGlobalVariable
January 12, 2024 00:15 3m 26s
Remove generated files from repository
CI #227: Pull request #27 opened by fingolfin
January 12, 2024 00:04 9m 31s mh/rm-generated
January 12, 2024 00:04 9m 31s