Skip to content

Actions: gap-packages/CaratInterface

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #36 from gap-packages/mh/CI
CI #44: Commit 7869164 pushed by gaehler
October 16, 2024 13:52 1m 59s master
October 16, 2024 13:52 1m 59s
CI: disable test against GAP 4.11
CI #43: Pull request #36 opened by fingolfin
October 16, 2024 13:48 2m 4s mh/CI
October 16, 2024 13:48 2m 4s
Release Version 2.3.7
CI #42: Commit 787b273 pushed by gaehler
October 16, 2024 12:38 2m 6s master
October 16, 2024 12:38 2m 6s
If GAP provides GMP_PREFIX, use it to locate GMP
CI #41: Commit 74e7d1d pushed by gaehler
October 16, 2024 12:12 2m 43s master
October 16, 2024 12:12 2m 43s
If GAP provides GMP_PREFIX, use that
CI #40: Pull request #35 synchronize by fingolfin
August 31, 2024 07:47 2m 0s mh/GMP_PREFIX
August 31, 2024 07:47 2m 0s
If GAP provides GMP_PREFIX, use that
CI #39: Pull request #35 opened by fingolfin
June 17, 2024 08:25 2m 18s mh/GMP_PREFIX
June 17, 2024 08:25 2m 18s
CI: add Codecov token
CI #38: Commit 49b1896 pushed by fingolfin
June 15, 2024 00:55 31m 38s master
June 15, 2024 00:55 31m 38s
March 24, 2024 01:03 2m 1s
catch a problematic case
CI #36: Commit 7ec6ef8 pushed by gaehler
December 20, 2023 13:19 1m 54s master
December 20, 2023 13:19 1m 54s
Merge pull request #34 from gap-packages/mh/error-concat
CI #35: Commit 1157ce5 pushed by gaehler
December 20, 2023 12:57 2m 0s master
December 20, 2023 12:57 2m 0s
Simplify some 'Error' invocations
CI #34: Pull request #34 opened by fingolfin
December 20, 2023 08:09 2m 11s mh/error-concat
December 20, 2023 08:09 2m 11s
Release 2.3.6
CI #33: Commit 93cd688 pushed by gaehler
December 18, 2023 17:34 2m 28s master
December 18, 2023 17:34 2m 28s
December 18, 2023 17:07 2m 15s