Skip to content

Actions: gap-system/gap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,583 workflow runs
4,583 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Wrap releases Wrap releases #6800: Scheduled
1h 29m 20s master
master
1h 29m 20s
Lint Lint #3575: Scheduled
1m 4s master
master
1m 4s
CI CI #7375: Scheduled
49m 46s master
master
49m 46s
Wrap releases Wrap releases #6799: Scheduled
1h 29m 41s master
master
1h 29m 41s
Lint Lint #3574: Scheduled
50s master
master
50s
CI CI #7374: Scheduled
58m 2s master
master
58m 2s
Add FoldLeft, FoldLeftX; and ForAllX, ForAnyX, FilteredX, NumberX, PerformX to complement ListX, SetX, SumX, ProductX CI with GAP.jl #1206: Pull request #3357 synchronize by fingolfin
10m 25s fingolfin:mh/fold
fingolfin:mh/fold
10m 25s
Add FoldLeft, FoldLeftX; and ForAllX, ForAnyX, FilteredX, NumberX, PerformX to complement ListX, SetX, SumX, ProductX CI #7373: Pull request #3357 synchronize by fingolfin
57m 7s fingolfin:mh/fold
fingolfin:mh/fold
57m 7s
Add FoldLeft, FoldLeftX; and ForAllX, ForAnyX, FilteredX, NumberX, PerformX to complement ListX, SetX, SumX, ProductX Wrap releases #6798: Pull request #3357 synchronize by fingolfin
1h 28m 56s fingolfin:mh/fold
fingolfin:mh/fold
1h 28m 56s
Add FoldLeft, FoldLeftX; and ForAllX, ForAnyX, FilteredX, NumberX, PerformX to complement ListX, SetX, SumX, ProductX Lint #3573: Pull request #3357 synchronize by fingolfin
1m 7s fingolfin:mh/fold
fingolfin:mh/fold
1m 7s
Add FoldLeft, FoldLeftX; and ForAllX, ForAnyX, FilteredX, NumberX, PerformX to complement ListX, SetX, SumX, ProductX Wrap releases #6797: Pull request #3357 synchronize by fingolfin
13m 9s fingolfin:mh/fold
fingolfin:mh/fold
13m 9s
Add FoldLeft, FoldLeftX; and ForAllX, ForAnyX, FilteredX, NumberX, PerformX to complement ListX, SetX, SumX, ProductX Lint #3572: Pull request #3357 synchronize by fingolfin
1m 2s fingolfin:mh/fold
fingolfin:mh/fold
1m 2s
Add FoldLeft, FoldLeftX; and ForAllX, ForAnyX, FilteredX, NumberX, PerformX to complement ListX, SetX, SumX, ProductX CI #7372: Pull request #3357 synchronize by fingolfin
13m 14s fingolfin:mh/fold
fingolfin:mh/fold
13m 14s
Add FoldLeft, FoldLeftX; and ForAllX, ForAnyX, FilteredX, NumberX, PerformX to complement ListX, SetX, SumX, ProductX CI with GAP.jl #1205: Pull request #3357 synchronize by fingolfin
10m 17s fingolfin:mh/fold
fingolfin:mh/fold
10m 17s
Set InfoText when computing Irr CI #7371: Pull request #6275 synchronize by ThomasBreuer
58m 25s ThomasBreuer:TB_InfoText
ThomasBreuer:TB_InfoText
58m 25s
Set InfoText when computing Irr CI with GAP.jl #1204: Pull request #6275 synchronize by ThomasBreuer
11m 3s ThomasBreuer:TB_InfoText
ThomasBreuer:TB_InfoText
11m 3s
Set InfoText when computing Irr Wrap releases #6796: Pull request #6275 synchronize by ThomasBreuer
1h 16m 32s ThomasBreuer:TB_InfoText
ThomasBreuer:TB_InfoText
1h 16m 32s
Set InfoText when computing Irr Lint #3571: Pull request #6275 synchronize by ThomasBreuer
54s ThomasBreuer:TB_InfoText
ThomasBreuer:TB_InfoText
54s
Update build scripts for WebAssembly version of gap-system for faster startup and on-demand loading Lint #3570: Pull request #6269 synchronize by wangyenshu
50s wangyenshu:gap-wasm-lazyloading
wangyenshu:gap-wasm-lazyloading
50s
Update build scripts for WebAssembly version of gap-system for faster startup and on-demand loading Wrap releases #6795: Pull request #6269 synchronize by wangyenshu
1h 21m 18s wangyenshu:gap-wasm-lazyloading
wangyenshu:gap-wasm-lazyloading
1h 21m 18s
Update build scripts for WebAssembly version of gap-system for faster startup and on-demand loading CI #7370: Pull request #6269 synchronize by wangyenshu
57m 27s wangyenshu:gap-wasm-lazyloading
wangyenshu:gap-wasm-lazyloading
57m 27s
Update build scripts for WebAssembly version of gap-system for faster startup and on-demand loading CI with GAP.jl #1203: Pull request #6269 synchronize by wangyenshu
11m 20s wangyenshu:gap-wasm-lazyloading
wangyenshu:gap-wasm-lazyloading
11m 20s
Update build scripts for WebAssembly version of gap-system for faster startup and on-demand loading CI with GAP.jl #1202: Pull request #6269 synchronize by wangyenshu
10m 34s wangyenshu:gap-wasm-lazyloading
wangyenshu:gap-wasm-lazyloading
10m 34s
Update build scripts for WebAssembly version of gap-system for faster startup and on-demand loading Wrap releases #6794: Pull request #6269 synchronize by wangyenshu
1h 29m 52s wangyenshu:gap-wasm-lazyloading
wangyenshu:gap-wasm-lazyloading
1h 29m 52s
Update build scripts for WebAssembly version of gap-system for faster startup and on-demand loading Lint #3569: Pull request #6269 synchronize by wangyenshu
49s wangyenshu:gap-wasm-lazyloading
wangyenshu:gap-wasm-lazyloading
49s