Skip to content

Actions: gap-packages/LINS

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
73 workflow runs
73 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix bug caused by LINS_MaxPGenerators being too low.
CI #145: Pull request #67 opened by FriedrichRober
October 9, 2024 09:50 2m 29s fr/fix_pQuotient
October 9, 2024 09:50 2m 29s
CI: add Codecov token
CI #144: Commit 82e54d5 pushed by fingolfin
June 15, 2024 00:42 10m 55s master
June 15, 2024 00:42 10m 55s
Update link to GAP manual
CI #143: Commit ab2d090 pushed by fingolfin
March 26, 2024 22:35 10m 51s master
March 26, 2024 22:35 10m 51s
CI: test with GAP 4.13
CI #142: Commit f40e006 pushed by fingolfin
March 24, 2024 00:30 10m 45s master
March 24, 2024 00:30 10m 45s
pages build and deployment
pages-build-deployment #11: by FriedrichRober
March 15, 2024 10:52 45s
March 15, 2024 10:52 45s
Version 0.9
CI #141: Commit efbbb89 pushed by FriedrichRober
March 15, 2024 10:51 10m 43s master
March 15, 2024 10:51 10m 43s
Add comments for loaded packages in tst files
CI #140: Commit 91fd409 pushed by FriedrichRober
March 15, 2024 10:50 11m 5s master
March 15, 2024 10:50 11m 5s
Load recog for tests
CI #139: Pull request #64 synchronize by FriedrichRober
March 15, 2024 10:39 11m 5s fr/FixTestOnlyNeeded
March 15, 2024 10:39 11m 5s
Load recog for tests
CI #138: Pull request #64 synchronize by FriedrichRober
March 15, 2024 10:37 1m 59s fr/FixTestOnlyNeeded
March 15, 2024 10:37 1m 59s
CI: check with only needed packages, too
CI #137: Commit 8130da7 pushed by FriedrichRober
March 15, 2024 10:05 10m 59s master
March 15, 2024 10:05 10m 59s
CI: check with only needed packages, too
CI #136: Pull request #65 opened by fingolfin
March 15, 2024 00:59 11m 14s mh/ci
March 15, 2024 00:59 11m 14s
Load recog for tests
CI #135: Pull request #64 opened by FriedrichRober
March 14, 2024 17:33 6m 17s fr/FixTestOnlyNeeded
March 14, 2024 17:33 6m 17s
Bump version
CI #134: Commit a2f4fc7 pushed by FriedrichRober
March 14, 2024 17:29 6m 9s master
March 14, 2024 17:29 6m 9s
pages build and deployment
pages-build-deployment #10: by FriedrichRober
March 14, 2024 16:59 54s
March 14, 2024 16:59 54s
Version 0.8
CI #133: Commit 135d187 pushed by FriedrichRober
March 14, 2024 16:59 6m 7s master
March 14, 2024 16:59 6m 7s
Adjust PackageInfo.g, in particular add License entry
CI #132: Commit 2cb0aaf pushed by FriedrichRober
March 14, 2024 16:57 6m 23s master
March 14, 2024 16:57 6m 23s
Adjust PackageInfo.g, in particular add License entry
CI #131: Pull request #63 opened by FriedrichRober
March 14, 2024 16:54 7m 0s fr/PackageInfo
March 14, 2024 16:54 7m 0s
Update CI
CI #130: Commit 8133538 pushed by fingolfin
March 14, 2024 15:50 6m 31s master
March 14, 2024 15:50 6m 31s
Bump version
CI #129: Commit d590984 pushed by FriedrichRober
March 13, 2024 11:30 6m 23s master
March 13, 2024 11:30 6m 23s
pages build and deployment
pages-build-deployment #9: by FriedrichRober
March 13, 2024 11:29 41s
March 13, 2024 11:29 41s
Version 0.7
CI #128: Commit 5302a64 pushed by FriedrichRober
March 13, 2024 11:29 6m 18s master
March 13, 2024 11:29 6m 18s
Remove TODOs from Doc (#61)
CI #127: Commit afa44bb pushed by fingolfin
March 13, 2024 11:16 6m 6s master
March 13, 2024 11:16 6m 6s
Remove TODOs from Doc
CI #126: Pull request #61 synchronize by FriedrichRober
March 13, 2024 11:07 6m 55s fr/docTODO
March 13, 2024 11:07 6m 55s
Remove TODOs from Doc
CI #125: Pull request #61 synchronize by FriedrichRober
March 13, 2024 11:01 5m 55s fr/docTODO
March 13, 2024 11:01 5m 55s
Remove TODOs from Doc
CI #124: Pull request #61 synchronize by FriedrichRober
March 13, 2024 10:58 3m 32s fr/docTODO
March 13, 2024 10:58 3m 32s