Skip to content

Actions: gap-system/gap

Actions

CI with GAP.jl

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
gapjl.yml
468 workflow runs
468 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support compressed files in PageSource CI with GAP.jl #356: Pull request #5880 opened by ThomasBreuer
December 23, 2024 22:23 26m 14s ThomasBreuer:TB_PageSource
ThomasBreuer:TB_PageSource
December 23, 2024 22:23 26m 14s
Add command line option --packagedirs and GAP function ExtendPackageDirectories() to make it easier to use custom packages CI with GAP.jl #355: Pull request #5873 synchronize by lgoettgens
December 23, 2024 15:58 25m 39s lgoettgens:lg/PackageDirectories
lgoettgens:lg/PackageDirectories
December 23, 2024 15:58 25m 39s
Add command line option --packagedirs and GAP function ExtendPackageDirectories() to make it easier to use custom packages CI with GAP.jl #354: Pull request #5873 synchronize by lgoettgens
December 21, 2024 16:13 22m 30s lgoettgens:lg/PackageDirectories
lgoettgens:lg/PackageDirectories
December 21, 2024 16:13 22m 30s
Document some long-style command line options CI with GAP.jl #353: Pull request #5878 synchronize by fingolfin
December 21, 2024 00:09 25m 30s fingolfin:mh/doc-cli-options
fingolfin:mh/doc-cli-options
December 21, 2024 00:09 25m 30s
Document TrivialGModule CI with GAP.jl #352: Commit f578ffa pushed by ThomasBreuer
December 21, 2024 00:04 24m 8s master
master
December 21, 2024 00:04 24m 8s
Document TrivialGModule CI with GAP.jl #351: Pull request #5879 opened by fingolfin
December 20, 2024 22:53 23m 11s fingolfin:mh/TrivialGModule
fingolfin:mh/TrivialGModule
December 20, 2024 22:53 23m 11s
Add command line option --packagedirs and GAP function ExtendPackageDirectories() to make it easier to use custom packages CI with GAP.jl #350: Pull request #5873 synchronize by lgoettgens
December 20, 2024 10:32 23m 54s lgoettgens:lg/PackageDirectories
lgoettgens:lg/PackageDirectories
December 20, 2024 10:32 23m 54s
Add command line option --packagedirs and GAP function ExtendPackageDirectories() to make it easier to use custom packages CI with GAP.jl #349: Pull request #5873 synchronize by lgoettgens
December 20, 2024 10:29 3m 34s lgoettgens:lg/PackageDirectories
lgoettgens:lg/PackageDirectories
December 20, 2024 10:29 3m 34s
Add command line option --packagedirs and GAP function ExtendPackageDirectories() to make it easier to use custom packages CI with GAP.jl #348: Pull request #5873 synchronize by lgoettgens
December 20, 2024 10:11 18m 14s lgoettgens:lg/PackageDirectories
lgoettgens:lg/PackageDirectories
December 20, 2024 10:11 18m 14s
Add command line option --packagedirs and GAP function ExtendPackageDirectories() to make it easier to use custom packages CI with GAP.jl #347: Pull request #5873 synchronize by lgoettgens
December 20, 2024 10:04 7m 17s lgoettgens:lg/PackageDirectories
lgoettgens:lg/PackageDirectories
December 20, 2024 10:04 7m 17s
simplify the code for IsObjWithMemory (#5875) CI with GAP.jl #346: Commit cf88913 pushed by fingolfin
December 19, 2024 21:19 23m 14s master
master
December 19, 2024 21:19 23m 14s
Document some long-style command line options CI with GAP.jl #345: Pull request #5878 opened by fingolfin
December 19, 2024 20:47 23m 5s fingolfin:mh/doc-cli-options
fingolfin:mh/doc-cli-options
December 19, 2024 20:47 23m 5s
simplify the code for IsObjWithMemory CI with GAP.jl #344: Pull request #5875 opened by ThomasBreuer
December 19, 2024 10:36 25m 16s ThomasBreuer:TB_ObjWithMemory
ThomasBreuer:TB_ObjWithMemory
December 19, 2024 10:36 25m 16s
Add ImmutableMatrix method for IsObjWithMemory (#5874) CI with GAP.jl #343: Commit b1a206f pushed by fingolfin
December 18, 2024 19:56 24m 17s master
master
December 18, 2024 19:56 24m 17s
Fix ImmutableMatrix to not strip memory from matrices in the IsObjWithMemory filter CI with GAP.jl #342: Pull request #5874 opened by fingolfin
December 18, 2024 15:07 22m 3s fingolfin:mh/ImmutableMatrix-IsObjWithMemory
fingolfin:mh/ImmutableMatrix-IsObjWithMemory
December 18, 2024 15:07 22m 3s
Add command line option --packagedirs and GAP function ExtendPackageDirectories() to make it easier to use custom packages CI with GAP.jl #341: Pull request #5873 synchronize by lgoettgens
December 18, 2024 11:25 24m 55s lgoettgens:lg/PackageDirectories
lgoettgens:lg/PackageDirectories
December 18, 2024 11:25 24m 55s
Add command line option --packagedirs and GAP function ExtendPackageDirectories() to make it easier to use custom packages CI with GAP.jl #340: Pull request #5873 synchronize by lgoettgens
December 18, 2024 11:04 21m 50s lgoettgens:lg/PackageDirectories
lgoettgens:lg/PackageDirectories
December 18, 2024 11:04 21m 50s
Add command line option --packagedirs and GAP function ExtendPackageDirectories() to make it easier to use custom packages CI with GAP.jl #339: Pull request #5873 synchronize by lgoettgens
December 18, 2024 10:55 8m 38s lgoettgens:lg/PackageDirectories
lgoettgens:lg/PackageDirectories
December 18, 2024 10:55 8m 38s
Add command line option --packagedirs and GAP function ExtendPackageDirectories() to make it easier to use custom packages CI with GAP.jl #338: Pull request #5873 synchronize by lgoettgens
December 18, 2024 10:53 2m 31s lgoettgens:lg/PackageDirectories
lgoettgens:lg/PackageDirectories
December 18, 2024 10:53 2m 31s
Add command line option --packagedirs and GAP function ExtendPackageDirectories() to make it easier to use custom packages CI with GAP.jl #337: Pull request #5873 opened by lgoettgens
December 17, 2024 17:15 26m 45s lgoettgens:lg/PackageDirectories
lgoettgens:lg/PackageDirectories
December 17, 2024 17:15 26m 45s
kernel: fix potential bug in 'print path' tracking CI with GAP.jl #336: Pull request #5862 reopened by fingolfin
December 17, 2024 12:34 26m 13s mh/path-printing-bug
mh/path-printing-bug
December 17, 2024 12:34 26m 13s
Make PRINT_PATH for records more robust CI with GAP.jl #335: Pull request #5861 reopened by fingolfin
December 17, 2024 12:30 23m 30s mh/path-printing-more
mh/path-printing-more
December 17, 2024 12:30 23m 30s
CI: increase timeout for GAP.jl jobs (#5871) CI with GAP.jl #334: Commit 26b374f pushed by fingolfin
December 17, 2024 12:29 24m 33s master
master
December 17, 2024 12:29 24m 33s
Manual: remove duplicate PostalAddress field for persons linked to a … CI with GAP.jl #333: Commit 8a52d2c pushed by ThomasBreuer
December 17, 2024 11:32 20m 25s master
master
December 17, 2024 11:32 20m 25s
Manual: remove duplicate PostalAddress field for persons linked to a GAP package CI with GAP.jl #332: Pull request #5870 synchronize by stertooy
December 17, 2024 10:20 20m 26s stertooy:patch-2
stertooy:patch-2
December 17, 2024 10:20 20m 26s