Skip to content

Actions: gap-packages/utils

CI

Actions

Loading...
Loading

Showing runs from all workflows named CI
12 workflow run results
12 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

0.87 release ready for GAP 4.14.0
CI #122: Commit 70000cd pushed by cdwensley
October 20, 2024 13:44 1m 44s master
October 20, 2024 13:44 1m 44s
Merge pull request #71 from gap-packages/mh/fix-urls
CI #121: Commit 6a4d4b6 pushed by cdwensley
October 20, 2024 13:36 1m 40s master
October 20, 2024 13:36 1m 40s
CI: add Codecov token
CI #119: Commit 0f97e9e pushed by fingolfin
June 15, 2024 00:48 1m 45s master
June 15, 2024 00:48 1m 45s
new release before GAP 4.13.1
CI #118: Commit 2bea232 pushed by cdwensley
May 16, 2024 17:57 1m 41s master
May 16, 2024 17:57 1m 41s
testing ability to push
CI #117: Commit cea6b18 pushed by cdwensley
March 24, 2024 16:54 1m 48s master
March 24, 2024 16:54 1m 48s
Merge pull request #70 from gap-packages/mh/CI
CI #116: Commit 719e4f3 pushed by cdwensley
March 24, 2024 16:09 1m 38s master
March 24, 2024 16:09 1m 38s
Merge pull request #69 from gap-packages/mh/siegen
CI #114: Commit 30926ff pushed by cdwensley
February 7, 2024 09:21 1m 38s master
February 7, 2024 09:21 1m 38s
Merge pull request #68 from gap-packages/release
CI #111: Commit bcdcbad pushed by cdwensley
January 23, 2024 18:37 1m 44s master
January 23, 2024 18:37 1m 44s
Merge pull request #67 from gap-packages/avoid
CI #109: Commit 106a5ce pushed by cdwensley
January 8, 2024 10:55 1m 57s master
January 8, 2024 10:55 1m 57s
Merge pull request #66 from gap-packages/avoid
CI #107: Commit f082355 pushed by cdwensley
January 6, 2024 20:47 1m 37s master
January 6, 2024 20:47 1m 37s
version 0.84 release
CI #103: Commit bf372ad pushed by cdwensley
September 11, 2023 08:37 2m 41s master
September 11, 2023 08:37 2m 41s
Merge pull request #65 from gap-packages/ddm
CI #102: Commit eee91f4 pushed by cdwensley
September 10, 2023 14:15 2m 34s master
September 10, 2023 14:15 2m 34s