Skip to content

Actions: gap-system/gap

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Wrap releases Wrap releases #7000: Scheduled
1h 33m 1s master
master
1h 33m 1s
Lint Lint #3775: Scheduled
47s master
master
47s
CI CI #7575: Scheduled
37m 36s master
master
37m 36s
Update etc/emscripten/generate_gap_fs_json.py Lint #3774: Commit edf6baf pushed by ChrisJefferson
52s master
master
52s
Update etc/emscripten/generate_gap_fs_json.py Wrap releases #6999: Commit edf6baf pushed by ChrisJefferson
1h 20m 4s master
master
1h 20m 4s
Update etc/emscripten/generate_gap_fs_json.py Deploy GAP manual to Pages #846: Commit edf6baf pushed by ChrisJefferson
4m 51s master
master
4m 51s
Update etc/emscripten/generate_gap_fs_json.py CI with GAP.jl #1377: Commit edf6baf pushed by ChrisJefferson
10m 8s master
master
10m 8s
Update etc/emscripten/generate_gap_fs_json.py CI #7574: Commit edf6baf pushed by ChrisJefferson
36m 46s master
master
36m 46s
Update build scripts for WebAssembly version of gap-system for faster startup and on-demand loading Wrap releases #6998: Pull request #6269 synchronize by wangyenshu
1h 33m 37s wangyenshu:gap-wasm-lazyloading
wangyenshu:gap-wasm-lazyloading
1h 33m 37s
Update build scripts for WebAssembly version of gap-system for faster startup and on-demand loading Lint #3773: Pull request #6269 synchronize by wangyenshu
51s wangyenshu:gap-wasm-lazyloading
wangyenshu:gap-wasm-lazyloading
51s
Update build scripts for WebAssembly version of gap-system for faster startup and on-demand loading CI #7573: Pull request #6269 synchronize by wangyenshu
37m 30s wangyenshu:gap-wasm-lazyloading
wangyenshu:gap-wasm-lazyloading
37m 30s
Update build scripts for WebAssembly version of gap-system for faster startup and on-demand loading CI with GAP.jl #1376: Pull request #6269 synchronize by wangyenshu
11m 13s wangyenshu:gap-wasm-lazyloading
wangyenshu:gap-wasm-lazyloading
11m 13s
Update build scripts for WebAssembly version of gap-system for faster startup and on-demand loading Wrap releases #6997: Pull request #6269 synchronize by wangyenshu
12s wangyenshu:gap-wasm-lazyloading
wangyenshu:gap-wasm-lazyloading
12s
Update build scripts for WebAssembly version of gap-system for faster startup and on-demand loading CI #7572: Pull request #6269 synchronize by wangyenshu
12s wangyenshu:gap-wasm-lazyloading
wangyenshu:gap-wasm-lazyloading
12s
Update build scripts for WebAssembly version of gap-system for faster startup and on-demand loading Lint #3772: Pull request #6269 synchronize by wangyenshu
53s wangyenshu:gap-wasm-lazyloading
wangyenshu:gap-wasm-lazyloading
53s
Update build scripts for WebAssembly version of gap-system for faster startup and on-demand loading CI with GAP.jl #1375: Pull request #6269 synchronize by wangyenshu
1m 0s wangyenshu:gap-wasm-lazyloading
wangyenshu:gap-wasm-lazyloading
1m 0s
Update build scripts for WebAssembly version of gap-system for faster startup and on-demand loading CI with GAP.jl #1374: Pull request #6269 synchronize by wangyenshu
14s wangyenshu:gap-wasm-lazyloading
wangyenshu:gap-wasm-lazyloading
14s
Update build scripts for WebAssembly version of gap-system for faster startup and on-demand loading CI #7571: Pull request #6269 synchronize by wangyenshu
14s wangyenshu:gap-wasm-lazyloading
wangyenshu:gap-wasm-lazyloading
14s
Update build scripts for WebAssembly version of gap-system for faster startup and on-demand loading Wrap releases #6996: Pull request #6269 synchronize by wangyenshu
13s wangyenshu:gap-wasm-lazyloading
wangyenshu:gap-wasm-lazyloading
13s
Update build scripts for WebAssembly version of gap-system for faster startup and on-demand loading Lint #3771: Pull request #6269 synchronize by wangyenshu
57s wangyenshu:gap-wasm-lazyloading
wangyenshu:gap-wasm-lazyloading
57s
Update build scripts for WebAssembly version of gap-system for faster startup and on-demand loading Wrap releases #6995: Pull request #6269 synchronize by wangyenshu
1m 22s wangyenshu:gap-wasm-lazyloading
wangyenshu:gap-wasm-lazyloading
1m 22s
Update build scripts for WebAssembly version of gap-system for faster startup and on-demand loading Lint #3770: Pull request #6269 synchronize by wangyenshu
52s wangyenshu:gap-wasm-lazyloading
wangyenshu:gap-wasm-lazyloading
52s
Update build scripts for WebAssembly version of gap-system for faster startup and on-demand loading CI with GAP.jl #1373: Pull request #6269 synchronize by wangyenshu
29s wangyenshu:gap-wasm-lazyloading
wangyenshu:gap-wasm-lazyloading
29s
Update build scripts for WebAssembly version of gap-system for faster startup and on-demand loading CI #7570: Pull request #6269 synchronize by wangyenshu
29s wangyenshu:gap-wasm-lazyloading
wangyenshu:gap-wasm-lazyloading
29s
Update build scripts for WebAssembly version of gap-system for faster startup and on-demand loading Wrap releases #6994: Pull request #6269 synchronize by wangyenshu
45s wangyenshu:gap-wasm-lazyloading
wangyenshu:gap-wasm-lazyloading
45s