Skip to content

Actions: gap-packages/aaa

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
25 workflow runs
25 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
CI: test with GAP 4.13; test with mininimal set of packages loaded CI #79: Pull request #31 opened by fingolfin
March 24, 2024 00:07 2m 26s mh/CI
mh/CI
March 24, 2024 00:07 2m 26s
CI: test with GAP 4.13; test with mininimal set of packages loaded CI #78: Commit b793d11 pushed by fingolfin
March 24, 2024 00:07 1m 58s mh/CI
mh/CI
March 24, 2024 00:07 1m 58s
Update some URLs CI #77: Pull request #30 opened by fingolfin
September 5, 2023 20:38 2m 59s mh/urls
mh/urls
September 5, 2023 20:38 2m 59s
Update some URLs CI #76: Commit 4f28278 pushed by fingolfin
September 5, 2023 20:38 2m 46s mh/urls
mh/urls
September 5, 2023 20:38 2m 46s
fix packageinfo.g so ValidatePackageInfo returns true CI #75: Commit 472e46a pushed by le27
June 29, 2023 17:05 2m 50s main
main
June 29, 2023 17:05 2m 50s
add The GAP Team as maintainer in packageinfo.g CI #74: Commit 7e4625b pushed by le27
June 29, 2023 16:42 2m 43s main
main
June 29, 2023 16:42 2m 43s
add The GAP Team as maintainer in packageinfo.g CI #73: Commit a4c947e pushed by le27
June 29, 2023 16:34 2m 48s main
main
June 29, 2023 16:34 2m 48s
changed transducer to GNStransducer in manual CI #72: Commit 9260c94 pushed by le27
June 27, 2023 18:13 2m 55s main
main
June 27, 2023 18:13 2m 55s
removed splash as is already present in digraphs CI #71: Commit 617b407 pushed by le27
June 27, 2023 13:30 2m 54s main
main
June 27, 2023 13:30 2m 54s
Correct Person records in package metadata CI #70: Commit 53b9e3f pushed by le27
June 26, 2023 17:24 4m 47s main
main
June 26, 2023 17:24 4m 47s
Delete scripts directory CI #69: Commit cc0819a pushed by le27
June 26, 2023 17:23 31s main
main
June 26, 2023 17:23 31s
Update a link CI #68: Commit e9d669c pushed by le27
June 26, 2023 17:23 7s main
main
June 26, 2023 17:23 7s
Update CI setup CI #67: Commit 30dc1de pushed by le27
June 26, 2023 17:23 2m 43s main
main
June 26, 2023 17:23 2m 43s
This package requires at least GAP 4.10 CI #66: Commit f63c007 pushed by le27
June 26, 2023 17:23 2m 28s main
main
June 26, 2023 17:23 2m 28s
PackageInfo.g: change License field to match LICENSE file CI #65: Commit c677806 pushed by le27
June 26, 2023 17:23 3m 6s main
main
June 26, 2023 17:23 3m 6s
PackageInfo.g: change License field to match LICENSE file CI #64: Pull request #26 opened by fingolfin
June 6, 2023 22:23 4s mh/license
mh/license
June 6, 2023 22:23 4s
PackageInfo.g: change License field to match LICENSE file CI #63: Commit 65b8037 pushed by fingolfin
June 6, 2023 22:23 3m 9s mh/license
mh/license
June 6, 2023 22:23 3m 9s
Correct Person records in package metadata CI #62: Pull request #25 opened by fingolfin
June 6, 2023 16:19 3s mh/persons
mh/persons
June 6, 2023 16:19 3s
Correct Person records in package metadata CI #61: Commit 2f68037 pushed by fingolfin
June 6, 2023 16:19 2m 25s mh/persons
mh/persons
June 6, 2023 16:19 2m 25s
This package requires at least GAP 4.10 CI #60: Pull request #24 opened by fingolfin
June 6, 2023 16:14 2s mh/PackageInfo.g
mh/PackageInfo.g
June 6, 2023 16:14 2s
This package requires at least GAP 4.10 CI #59: Commit 9a23a2c pushed by fingolfin
June 6, 2023 16:14 2m 27s mh/PackageInfo.g
mh/PackageInfo.g
June 6, 2023 16:14 2m 27s
Update CI setup CI #58: Pull request #23 synchronize by fingolfin
June 6, 2023 16:12 2m 25s mh/update-ci
mh/update-ci
June 6, 2023 16:12 2m 25s
Update CI setup CI #57: Commit a318666 pushed by fingolfin
June 6, 2023 16:12 2m 15s mh/update-ci
mh/update-ci
June 6, 2023 16:12 2m 15s
Update CI setup CI #56: Pull request #23 opened by fingolfin
June 6, 2023 16:08 3m 2s mh/update-ci
mh/update-ci
June 6, 2023 16:08 3m 2s
Update CI setup CI #55: Commit df17a2c pushed by fingolfin
June 6, 2023 16:08 2m 39s mh/update-ci
mh/update-ci
June 6, 2023 16:08 2m 39s