Skip to content

Actions: gap-packages/sgpdec

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
20 workflow runs
20 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: update to actions/checkout@v6 CI #150: Commit 04fe05e pushed by fingolfin
56m 22s master
master
56m 22s
Update release workflow wording CI #149: Commit 473387d pushed by fingolfin
1h 10m 55s master
master
1h 10m 55s
CI: uniformize head of CI.yml CI #148: Commit 31f3042 pushed by fingolfin
1h 17m 16s master
master
1h 17m 16s
Fix manual CI #147: Pull request #32 reopened by fingolfin
16m 4s stertooy:fix-ci
stertooy:fix-ci
16m 4s
Fix building docs CI #146: Commit 35736c3 pushed by fingolfin
16m 43s master
master
16m 43s
Fix manual CI #145: Pull request #32 reopened by fingolfin
15m 55s stertooy:fix-ci
stertooy:fix-ci
15m 55s
CI: move docs job into separate workflow CI #144: Commit d43af20 pushed by fingolfin
16m 27s master
master
16m 27s
Fix manual CI #143: Pull request #32 opened by stertooy
53s stertooy:fix-ci
stertooy:fix-ci
53s
CI: also test against GAP 4.15 CI #142: Commit 58594dc pushed by fingolfin
2h 1m 11s master
master
2h 1m 11s
CI: update concurrency check CI #141: Commit 9105dd0 pushed by fingolfin
1h 5m 37s master
master
1h 5m 37s
Update CI CI #140: Commit 93c5cdb pushed by fingolfin
21m 20s master
master
21m 20s
Add default release.yml workflow CI #139: Commit 5d50c84 pushed by fingolfin
1h 5m 51s master
master
1h 5m 51s
strict lower bound test for essential depenendency CI #138: Commit 8b80bfc pushed by nehaniv
17m 12s master
master
17m 12s
updating version info CI #137: Commit e05f53b pushed by egri-nagy
16m 19s master
master
16m 19s
adding new tests for holonomy CI #136: Commit 0be4bce pushed by egri-nagy
17m 5s master
master
17m 5s
quick fix for the missing level in the holonomy when there is no sing… CI #135: Commit a91ebcc pushed by egri-nagy
18m 3s master
master
18m 3s
adding a new semigroup to the bestiary CI #134: Commit 6621d1b pushed by egri-nagy
17m 9s master
master
17m 9s
CI: fix codecov setup CI #133: Commit 4878e93 pushed by fingolfin
17m 3s master
master
17m 3s
Removing social network links. CI #132: Commit 2395fdc pushed by egri-nagy
15m 53s master
master
15m 53s
CI: test against stable-4.14 CI #131: Commit aa8f7c3 pushed by fingolfin
18m 25s master
master
18m 25s