Skip to content

Actions: jamesmckinna/agda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Deploy Deploy #4: completed by jamesmckinna
29m 53s
29m 53s
Build and test WASM Build and test WASM #4: Scheduled
1h 17m 4s master
master
1h 17m 4s
Build, Test, and Benchmark Build, Test, and Benchmark #4: Scheduled
41m 22s master
master
41m 22s
Deploy Deploy #3: completed by jamesmckinna
25m 8s
25m 8s
Build and test WASM Build and test WASM #3: Scheduled
1h 17m 47s master
master
1h 17m 47s
Build, Test, and Benchmark Build, Test, and Benchmark #3: Scheduled
43m 50s master
master
43m 50s
Deploy Deploy #2: completed by jamesmckinna
28m 48s
28m 48s
checkNoTerminationPragma on longer has to account for PositivityChecking Install (v2-cabal) #2: Commit 060c2c7 pushed by jamesmckinna
7m 24s master
master
7m 24s
checkNoTerminationPragma on longer has to account for PositivityChecking Build, Test, and Benchmark #2: Commit 060c2c7 pushed by jamesmckinna
39m 10s master
master
39m 10s
checkNoTerminationPragma on longer has to account for PositivityChecking Build and test WASM #2: Commit 060c2c7 pushed by jamesmckinna
1s master
master
1s
checkNoTerminationPragma on longer has to account for PositivityChecking Whitespace #2: Commit 060c2c7 pushed by jamesmckinna
25s master
master
25s
checkNoTerminationPragma on longer has to account for PositivityChecking Haddock #2: Commit 060c2c7 pushed by jamesmckinna
4m 55s master
master
4m 55s
checkNoTerminationPragma on longer has to account for PositivityChecking Build (cabal) #2: Commit 060c2c7 pushed by jamesmckinna
18m 35s master
master
18m 35s
Deploy Deploy #1: completed by jamesmckinna
37m 16s
37m 16s
Test case for #2591 (closed by #8079): scope instead of parse error Build and test WASM #1: Commit a0d30e5 pushed by jamesmckinna
1s master
master
1s
Test case for #2591 (closed by #8079): scope instead of parse error Whitespace #1: Commit a0d30e5 pushed by jamesmckinna
25s master
master
25s
Test case for #2591 (closed by #8079): scope instead of parse error Build (stack) #1: Commit a0d30e5 pushed by jamesmckinna
31m 56s master
master
31m 56s
Test case for #2591 (closed by #8079): scope instead of parse error Build, Test, and Benchmark #1: Commit a0d30e5 pushed by jamesmckinna
47m 2s master
master
47m 2s
Test case for #2591 (closed by #8079): scope instead of parse error Haddock #1: Commit a0d30e5 pushed by jamesmckinna
19m 31s master
master
19m 31s
Test case for #2591 (closed by #8079): scope instead of parse error User Manual #1: Commit a0d30e5 pushed by jamesmckinna
2m 48s master
master
2m 48s
Test case for #2591 (closed by #8079): scope instead of parse error Build (cabal) #1: Commit a0d30e5 pushed by jamesmckinna
25m 42s master
master
25m 42s
Test case for #2591 (closed by #8079): scope instead of parse error Install (v2-cabal) #1: Commit a0d30e5 pushed by jamesmckinna
12m 10s master
master
12m 10s