Skip to content

Actions: zstone1/analysis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

expR_ge1Dxn (#1638) Nix CI for bundle 8.20 #26: Commit e61a644 pushed by zstone1
3m 57s master
master
3m 57s
expR_ge1Dxn (#1638) Nix CI for bundle 9.0 #1: Commit e61a644 pushed by zstone1
3m 59s master
master
3m 59s
expR_ge1Dxn (#1638) .github/workflows/generate_docs.yml #1: Commit e61a644 pushed by zstone1
26m 50s master
master
26m 50s
expR_ge1Dxn (#1638) Nix CI for bundle master #117: Commit e61a644 pushed by zstone1
45m 30s master
master
45m 30s
Import ZArith to use it in Rstruct.v Nix CI for bundle master #116: Commit 4fdf7ef pushed by zstone1
1m 17s master
master
1m 17s
Import ZArith to use it in Rstruct.v Nix CI for bundle 8.19 #29: Commit 4fdf7ef pushed by zstone1
15m 18s master
master
15m 18s
Import ZArith to use it in Rstruct.v Nix CI for bundle 8.20 #25: Commit 4fdf7ef pushed by zstone1
13m 43s master
master
13m 43s
bipointed and paths (#1400) Nix CI for bundle 8.19 #28: Commit 71b1296 pushed by zstone1
17m 52s master
master
17m 52s
bipointed and paths (#1400) Nix CI for bundle master #115: Commit 71b1296 pushed by zstone1
5m 40s master
master
5m 40s
bipointed and paths (#1400) Nix CI for bundle 8.20 #24: Commit 71b1296 pushed by zstone1
4m 12s master
master
4m 12s
Wedge fun (#1398) Nix CI for bundle 8.19 #27: Commit 97d0779 pushed by zstone1
34m 10s master
master
34m 10s
Wedge fun (#1398) Nix CI for bundle master #114: Commit 97d0779 pushed by zstone1
27m 19s master
master
27m 19s
Wedge fun (#1398) Nix CI for bundle 8.20 #23: Commit 97d0779 pushed by zstone1
34m 42s master
master
34m 42s
composition is continuous (#1388) Nix CI for bundle 8.19 #26: Commit 91cd238 pushed by zstone1
17m 39s master
master
17m 39s
composition is continuous (#1388) Nix CI for bundle 8.20 #22: Commit 91cd238 pushed by zstone1
28m 23s master
master
28m 23s
composition is continuous (#1388) Nix CI for bundle master #113: Commit 91cd238 pushed by zstone1
43m 39s master
master
43m 39s