Skip to content

Actions: gap-system/gap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,525 workflow runs
4,525 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: don't disable -Werror for Julia builds (#5827) Wrap releases #5301: Commit c387f21 pushed by fingolfin
October 28, 2024 12:24 1h 10m 47s stable-4.13
stable-4.13
October 28, 2024 12:24 1h 10m 47s
CI: don't disable -Werror for Julia builds (#5827) CI #5802: Commit c387f21 pushed by fingolfin
October 28, 2024 12:24 30m 10s stable-4.13
stable-4.13
October 28, 2024 12:24 30m 10s
CI: don't disable -Werror for Julia builds (#5827) CI with GAP.jl #223: Commit c387f21 pushed by fingolfin
October 28, 2024 12:24 7m 51s stable-4.13
stable-4.13
October 28, 2024 12:24 7m 51s
CI: don't disable -Werror for Julia builds (#5827) Lint #2083: Commit c387f21 pushed by fingolfin
October 28, 2024 12:24 47s stable-4.13
stable-4.13
October 28, 2024 12:24 47s
Make FirstNames optional in Persons records in package metadata Lint #2082: Pull request #5822 synchronize by ThomasBreuer
October 28, 2024 10:04 42s ThomasBreuer:TB_Cite_The_GAP_Team
ThomasBreuer:TB_Cite_The_GAP_Team
October 28, 2024 10:04 42s
Make FirstNames optional in Persons records in package metadata CI with GAP.jl #222: Pull request #5822 synchronize by ThomasBreuer
October 28, 2024 10:04 6m 18s ThomasBreuer:TB_Cite_The_GAP_Team
ThomasBreuer:TB_Cite_The_GAP_Team
October 28, 2024 10:04 6m 18s
Make FirstNames optional in Persons records in package metadata CI #5801: Pull request #5822 synchronize by ThomasBreuer
October 28, 2024 10:04 27m 27s ThomasBreuer:TB_Cite_The_GAP_Team
ThomasBreuer:TB_Cite_The_GAP_Team
October 28, 2024 10:04 27m 27s
Make FirstNames optional in Persons records in package metadata Wrap releases #5300: Pull request #5822 synchronize by ThomasBreuer
October 28, 2024 10:04 1h 10m 51s ThomasBreuer:TB_Cite_The_GAP_Team
ThomasBreuer:TB_Cite_The_GAP_Team
October 28, 2024 10:04 1h 10m 51s
Make FirstNames optional in Persons records in package metadata Wrap releases #5299: Pull request #5822 synchronize by ThomasBreuer
October 28, 2024 08:42 1h 11m 6s ThomasBreuer:TB_Cite_The_GAP_Team
ThomasBreuer:TB_Cite_The_GAP_Team
October 28, 2024 08:42 1h 11m 6s
Make FirstNames optional in Persons records in package metadata CI with GAP.jl #221: Pull request #5822 synchronize by ThomasBreuer
October 28, 2024 08:42 5m 58s ThomasBreuer:TB_Cite_The_GAP_Team
ThomasBreuer:TB_Cite_The_GAP_Team
October 28, 2024 08:42 5m 58s
Make FirstNames optional in Persons records in package metadata CI #5800: Pull request #5822 synchronize by ThomasBreuer
October 28, 2024 08:42 27m 51s ThomasBreuer:TB_Cite_The_GAP_Team
ThomasBreuer:TB_Cite_The_GAP_Team
October 28, 2024 08:42 27m 51s
Make FirstNames optional in Persons records in package metadata Lint #2081: Pull request #5822 synchronize by ThomasBreuer
October 28, 2024 08:42 42s ThomasBreuer:TB_Cite_The_GAP_Team
ThomasBreuer:TB_Cite_The_GAP_Team
October 28, 2024 08:42 42s
Wrap releases Wrap releases #5298: Scheduled
October 28, 2024 03:40 1h 10m 4s master
master
October 28, 2024 03:40 1h 10m 4s
Lint Lint #2080: Scheduled
October 28, 2024 03:17 44s master
master
October 28, 2024 03:17 44s
CI CI #5799: Scheduled
October 28, 2024 02:47 33m 3s master
master
October 28, 2024 02:47 33m 3s
Wrap releases Wrap releases #5297: Scheduled
October 27, 2024 03:40 1h 10m 36s master
master
October 27, 2024 03:40 1h 10m 36s
Lint Lint #2079: Scheduled
October 27, 2024 03:17 37s master
master
October 27, 2024 03:17 37s
CI CI #5798: Scheduled
October 27, 2024 02:47 27m 44s master
master
October 27, 2024 02:47 27m 44s
Wrap releases Wrap releases #5296: Scheduled
October 26, 2024 03:37 1h 10m 7s master
master
October 26, 2024 03:37 1h 10m 7s
Lint Lint #2078: Scheduled
October 26, 2024 03:15 40s master
master
October 26, 2024 03:15 40s
CI CI #5797: Scheduled
October 26, 2024 02:43 27m 58s master
master
October 26, 2024 02:43 27m 58s
Make FirstNames optional in Persons records in package metadata Lint #2077: Pull request #5822 synchronize by ThomasBreuer
October 25, 2024 14:21 43s ThomasBreuer:TB_Cite_The_GAP_Team
ThomasBreuer:TB_Cite_The_GAP_Team
October 25, 2024 14:21 43s
Make FirstNames optional in Persons records in package metadata Wrap releases #5295: Pull request #5822 synchronize by ThomasBreuer
October 25, 2024 14:21 11m 57s ThomasBreuer:TB_Cite_The_GAP_Team
ThomasBreuer:TB_Cite_The_GAP_Team
October 25, 2024 14:21 11m 57s
Make FirstNames optional in Persons records in package metadata CI with GAP.jl #220: Pull request #5822 synchronize by ThomasBreuer
October 25, 2024 14:21 5m 57s ThomasBreuer:TB_Cite_The_GAP_Team
ThomasBreuer:TB_Cite_The_GAP_Team
October 25, 2024 14:21 5m 57s
Make FirstNames optional in Persons records in package metadata CI #5796: Pull request #5822 synchronize by ThomasBreuer
October 25, 2024 14:21 28m 42s ThomasBreuer:TB_Cite_The_GAP_Team
ThomasBreuer:TB_Cite_The_GAP_Team
October 25, 2024 14:21 28m 42s