Skip to content

Actions: NathanielB123/agda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,174 workflow runs
1,174 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
Build and test WASM Build and test WASM #183: Scheduled
5m 47s master
master
5m 47s
Deploy Deploy #62: completed by NathanielB123
39m 57s
39m 57s
Build, Test, and Benchmark Build, Test, and Benchmark #188: Scheduled
41m 41s master
master
41m 41s
Build and test WASM Build and test WASM #182: Scheduled
1h 26m 24s master
master
1h 26m 24s
Deploy Deploy #61: completed by NathanielB123
29m 25s
29m 25s
Build, Test, and Benchmark Build, Test, and Benchmark #187: Scheduled
35m 56s master
master
35m 56s
Build and test WASM Build and test WASM #181: Scheduled
1h 10m 6s master
master
1h 10m 6s
Deploy Deploy #60: completed by NathanielB123
29m 2s
29m 2s
Build, Test, and Benchmark Build, Test, and Benchmark #186: Scheduled
35m 43s master
master
35m 43s
Local rewrite matches and smart with Install (v2-cabal) #159: Pull request #15 synchronize by NathanielB123
5m 22s local-rewrite-matches
local-rewrite-matches
5m 22s
Local rewrite matches and smart with Build, Test, and Benchmark #185: Pull request #15 synchronize by NathanielB123
45m 48s local-rewrite-matches
local-rewrite-matches
45m 48s
Local rewrite matches and smart with Build and test WASM #180: Pull request #15 synchronize by NathanielB123
10s local-rewrite-matches
local-rewrite-matches
10s
Local rewrite matches and smart with Build (cabal) #159: Pull request #15 synchronize by NathanielB123
16m 13s local-rewrite-matches
local-rewrite-matches
16m 13s
Local rewrite matches and smart with Whitespace #161: Pull request #15 synchronize by NathanielB123
37s local-rewrite-matches
local-rewrite-matches
37s
Local rewrite matches and smart with Haddock #159: Pull request #15 synchronize by NathanielB123
2m 52s local-rewrite-matches
local-rewrite-matches
2m 52s
Local rewrite matches and smart with Install (v2-cabal) #158: Pull request #15 synchronize by NathanielB123
5m 54s local-rewrite-matches
local-rewrite-matches
5m 54s
Local rewrite matches and smart with Build and test WASM #179: Pull request #15 synchronize by NathanielB123
11s local-rewrite-matches
local-rewrite-matches
11s
Local rewrite matches and smart with Build (cabal) #158: Pull request #15 synchronize by NathanielB123
18m 22s local-rewrite-matches
local-rewrite-matches
18m 22s
Local rewrite matches and smart with Whitespace #160: Pull request #15 synchronize by NathanielB123
30s local-rewrite-matches
local-rewrite-matches
30s
Local rewrite matches and smart with Haddock #158: Pull request #15 synchronize by NathanielB123
3m 10s local-rewrite-matches
local-rewrite-matches
3m 10s
Local rewrite matches and smart with Build, Test, and Benchmark #184: Pull request #15 synchronize by NathanielB123
37m 55s local-rewrite-matches
local-rewrite-matches
37m 55s
Deploy Deploy #59: completed by NathanielB123
34m 34s
34m 34s
Local rewrite matches and smart with Build, Test, and Benchmark #183: Pull request #15 synchronize by NathanielB123
37m 3s local-rewrite-matches
local-rewrite-matches
37m 3s
Local rewrite matches and smart with Haddock #157: Pull request #15 synchronize by NathanielB123
5m 0s local-rewrite-matches
local-rewrite-matches
5m 0s
Local rewrite matches and smart with Build (cabal) #157: Pull request #15 synchronize by NathanielB123
19m 30s local-rewrite-matches
local-rewrite-matches
19m 30s