Skip to content

Actions: gap-system/gap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,573 workflow run results
2,573 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Wrap releases Wrap releases #5021: Scheduled
July 8, 2024 03:36 1h 7m 37s master
master
July 8, 2024 03:36 1h 7m 37s
Lint Lint #1804: Scheduled
July 8, 2024 03:14 39s master
master
July 8, 2024 03:14 39s
CI CI #5514: Scheduled
July 8, 2024 02:38 27m 33s master
master
July 8, 2024 02:38 27m 33s
Wrap releases Wrap releases #5019: Scheduled
July 7, 2024 03:35 1h 8m 43s master
master
July 7, 2024 03:35 1h 8m 43s
Lint Lint #1802: Scheduled
July 7, 2024 03:14 45s master
master
July 7, 2024 03:14 45s
CI CI #5512: Scheduled
July 7, 2024 02:39 28m 35s master
master
July 7, 2024 02:39 28m 35s
Wrap releases Wrap releases #5018: Scheduled
July 6, 2024 03:35 1h 7m 28s master
master
July 6, 2024 03:35 1h 7m 28s
Lint Lint #1801: Scheduled
July 6, 2024 03:15 38s master
master
July 6, 2024 03:15 38s
CI CI #5511: Scheduled
July 6, 2024 02:35 30m 15s master
master
July 6, 2024 02:35 30m 15s
Wrap releases Wrap releases #5017: Scheduled
July 5, 2024 03:35 1h 7m 14s master
master
July 5, 2024 03:35 1h 7m 14s
Lint Lint #1800: Scheduled
July 5, 2024 03:14 37s master
master
July 5, 2024 03:14 37s
CI CI #5510: Scheduled
July 5, 2024 02:37 28m 38s master
master
July 5, 2024 02:37 28m 38s
Wrap releases Wrap releases #5016: Scheduled
July 4, 2024 03:36 1h 8m 38s master
master
July 4, 2024 03:36 1h 8m 38s
Lint Lint #1799: Scheduled
July 4, 2024 03:15 39s master
master
July 4, 2024 03:15 39s
CI CI #5509: Scheduled
July 4, 2024 02:37 27m 57s master
master
July 4, 2024 02:37 27m 57s
Change ReadPackage to print a warning if specified file cannot be read (e.g. because it is missing) CI with GAP.jl #55: Pull request #5762 opened by fingolfin
July 3, 2024 13:46 5m 53s fingolfin:mh/ReadPackage-error
fingolfin:mh/ReadPackage-error
July 3, 2024 13:46 5m 53s
Change ReadPackage to print a warning if specified file cannot be read (e.g. because it is missing) Lint #1798: Pull request #5762 opened by fingolfin
July 3, 2024 13:46 45s fingolfin:mh/ReadPackage-error
fingolfin:mh/ReadPackage-error
July 3, 2024 13:46 45s
Change ReadPackage to print a warning if specified file cannot be read (e.g. because it is missing) Wrap releases #5015: Pull request #5762 opened by fingolfin
July 3, 2024 13:46 7m 0s fingolfin:mh/ReadPackage-error
fingolfin:mh/ReadPackage-error
July 3, 2024 13:46 7m 0s
Change ReadPackage to print a warning if specified file cannot be read (e.g. because it is missing) CI #5508: Pull request #5762 opened by fingolfin
July 3, 2024 13:46 26m 48s fingolfin:mh/ReadPackage-error
fingolfin:mh/ReadPackage-error
July 3, 2024 13:46 26m 48s
Wrap releases Wrap releases #5014: Scheduled
July 3, 2024 03:35 1h 8m 51s master
master
July 3, 2024 03:35 1h 8m 51s
Lint Lint #1797: Scheduled
July 3, 2024 03:14 41s master
master
July 3, 2024 03:14 41s
CI CI #5507: Scheduled
July 3, 2024 02:36 28m 32s master
master
July 3, 2024 02:36 28m 32s
Wrap releases Wrap releases #5011: Scheduled
July 2, 2024 03:35 1h 8m 38s master
master
July 2, 2024 03:35 1h 8m 38s
Lint Lint #1794: Scheduled
July 2, 2024 03:14 39s master
master
July 2, 2024 03:14 39s
CI CI #5504: Scheduled
July 2, 2024 02:37 29m 43s master
master
July 2, 2024 02:37 29m 43s