Actions: gap-system/gap
Actions
468 workflow runs
468 workflow runs
--packagedirs
and GAP function ExtendPackageDirectories()
to make it easier to use custom packages
CI with GAP.jl
#380:
Pull request #5873
synchronize
by
lgoettgens
SyOriginalArgv
& SyOriginalArgc
CI with GAP.jl
#379:
Pull request #5887
synchronize
by
fingolfin
--packagedirs
and GAP function ExtendPackageDirectories()
to make it easier to use custom packages
CI with GAP.jl
#374:
Pull request #5873
synchronize
by
lgoettgens
--packagedirs
and GAP function ExtendPackageDirectories()
to make it easier to use custom packages
CI with GAP.jl
#373:
Pull request #5873
synchronize
by
lgoettgens
--packagedirs
and GAP function ExtendPackageDirectories()
to make it easier to use custom packages
CI with GAP.jl
#372:
Pull request #5873
synchronize
by
lgoettgens
SyOriginalArgv
& SyOriginalArgc
CI with GAP.jl
#368:
Pull request #5887
opened
by
fingolfin
--packagedirs
and GAP function ExtendPackageDirectories()
to make it easier to use custom packages
CI with GAP.jl
#364:
Pull request #5873
reopened
by
lgoettgens
make install
CI with GAP.jl
#360:
Pull request #5883
synchronize
by
fingolfin
make install
CI with GAP.jl
#358:
Pull request #5883
opened
by
fingolfin
PageSource
(#5880)
CI with GAP.jl
#357:
Commit 8cbb303
pushed
by
fingolfin