Skip to content

Actions: gap-packages/float

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

PackageInfo.g: fix AvailabilityTest return value
CI #112: Commit a9934af pushed by fingolfin
November 6, 2024 10:28 1m 56s master
November 6, 2024 10:28 1m 56s
pages build and deployment
pages-build-deployment #4: by laurentbartholdi
August 30, 2024 16:40 41s
August 30, 2024 16:40 41s
Version bump
CI #111: Commit 180189f pushed by laurentbartholdi
August 30, 2024 16:39 1m 47s master
August 30, 2024 16:39 1m 47s
Merge pull request #92 from jamesjer/master
CI #110: Commit 158d469 pushed by laurentbartholdi
August 27, 2024 17:19 1m 48s master
August 27, 2024 17:19 1m 48s
Remove use of deprecated set_unexpected
CI #109: Pull request #92 reopened by fingolfin
August 27, 2024 16:50 3m 2s jamesjer:master
August 27, 2024 16:50 3m 2s
CI: fix 32bit builds (#93)
CI #108: Commit f5d6169 pushed by fingolfin
August 27, 2024 16:50 3m 16s master
August 27, 2024 16:50 3m 16s
Merge pull request #94 from Joseph-Edwards/master
CI #107: Commit 91eaa46 pushed by laurentbartholdi
August 26, 2024 15:11 1d 1h 13m 57s master
August 26, 2024 15:11 1d 1h 13m 57s
Update kernel module checking
CI #106: Pull request #94 opened by Joseph-Edwards
August 26, 2024 13:36 1d 2h 43m 15s Joseph-Edwards:master
August 26, 2024 13:36 1d 2h 43m 15s
CI: fix 32bit builds
CI #105: Pull request #93 opened by fingolfin
June 17, 2024 08:59 1m 44s mh/32
June 17, 2024 08:59 1m 44s
CI: add Codecov token
CI #104: Commit 283d540 pushed by fingolfin
June 15, 2024 00:52 1d 11h 10m 0s master
June 15, 2024 00:52 1d 11h 10m 0s
CI: test with GAP 4.13; test with mininimal set of packages loaded
CI #103: Commit aed68bb pushed by fingolfin
March 23, 2024 22:55 1d 13h 6m 28s master
March 23, 2024 22:55 1d 13h 6m 28s
pages build and deployment
pages-build-deployment #3: by fingolfin
February 20, 2024 16:50 51s
February 20, 2024 16:50 51s
Remove use of deprecated set_unexpected
CI #102: Pull request #92 opened by jamesjer
January 18, 2024 03:21 1d 8h 41m 17s jamesjer:master
January 18, 2024 03:21 1d 8h 41m 17s
pages build and deployment
pages-build-deployment #2: by laurentbartholdi
January 11, 2024 21:20 45s
January 11, 2024 21:20 45s
Version bump, after PR from fingolfin
CI #101: Commit 928289f pushed by laurentbartholdi
January 11, 2024 21:16 1d 14h 45m 43s master
January 11, 2024 21:16 1d 14h 45m 43s
Merge pull request #91 from gap-packages/mh/configure-package-version
CI #100: Commit 8503404 pushed by laurentbartholdi
January 11, 2024 21:10 1d 14h 51m 45s master
January 11, 2024 21:10 1d 14h 51m 45s
Merge pull request #90 from gap-packages/mh/configure-mkdir
CI #99: Commit 392492c pushed by laurentbartholdi
January 11, 2024 21:09 1d 14h 52m 23s master
January 11, 2024 21:09 1d 14h 52m 23s
Merge pull request #89 from gap-packages/mh/gap_binary
CI #98: Commit f9e4f17 pushed by laurentbartholdi
January 11, 2024 21:09 1d 14h 52m 35s master
January 11, 2024 21:09 1d 14h 52m 35s
CI: signal if building docs failed
CI #97: Commit faddf12 pushed by fingolfin
October 21, 2023 20:23 1d 0h 10m 24s master
October 21, 2023 20:23 1d 0h 10m 24s