Skip to content

Actions: gap-packages/DeepThought

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PackageInfo.g: fix AvailabilityTest return value CI #9: Commit 44409c7 pushed by fingolfin
November 6, 2024 10:20 9m 10s master
master
November 6, 2024 10:20 9m 10s
pages build and deployment pages-build-deployment #3: by fingolfin
August 26, 2024 23:04 38s
August 26, 2024 23:04 38s
Version 1.0.7 CI #8: Commit af9256a pushed by fingolfin
August 26, 2024 23:04 9m 8s master
master
August 26, 2024 23:04 9m 8s
Resolve https://github.com/gap-system/gap/issues/5761 (#21) CI #7: Commit 0ebd7e2 pushed by fingolfin
August 26, 2024 15:04 34m 3s master
master
August 26, 2024 15:04 34m 3s
Resolve https://github.com/gap-system/gap/issues/5761 CI #6: Pull request #21 synchronize by james-d-mitchell
August 26, 2024 13:23 9m 14s james-d-mitchell:load-kernel-ext
james-d-mitchell:load-kernel-ext
August 26, 2024 13:23 9m 14s
Resolve https://github.com/gap-system/gap/issues/5761 CI #5: Pull request #21 synchronize by james-d-mitchell
August 26, 2024 13:11 2m 9s james-d-mitchell:load-kernel-ext
james-d-mitchell:load-kernel-ext
August 26, 2024 13:11 2m 9s
Resolve https://github.com/gap-system/gap/issues/5761 CI #4: Pull request #21 synchronize by james-d-mitchell
August 26, 2024 13:11 50s james-d-mitchell:load-kernel-ext
james-d-mitchell:load-kernel-ext
August 26, 2024 13:11 50s
Resolve https://github.com/gap-system/gap/issues/5761 CI #3: Pull request #21 opened by james-d-mitchell
August 26, 2024 12:06 9m 29s james-d-mitchell:load-kernel-ext
james-d-mitchell:load-kernel-ext
August 26, 2024 12:06 9m 29s
CI: add Codecov token CI #2: Commit 00459ae pushed by fingolfin
June 15, 2024 00:56 40m 50s master
master
June 15, 2024 00:56 40m 50s
CI: test with GAP 4.13; test with mininimal set of packages loaded CI #1: Commit 18473dc pushed by fingolfin
March 24, 2024 00:41 9m 59s master
master
March 24, 2024 00:41 9m 59s
pages build and deployment pages-build-deployment #2: by fingolfin
February 20, 2024 16:29 45s
February 20, 2024 16:29 45s
Update Makefile.gappkg to latest CI #38: Commit 3c0afb7 pushed by fingolfin
January 22, 2024 23:28 5m 35s master
master
January 22, 2024 23:28 5m 35s