Build, Test, and Benchmark · Workflow runs · jamesmckinna/agda · GitHub

Actions

All workflows
Workflows
- Build (cabal) Build (cabal)
- Build (stack) Build (stack)
- Build and test WASM Build and test WASM
- Build, Test, and Benchmark Build, Test, and Benchmark
- Clear cache of closed PR Clear cache of closed PR
- Deploy Deploy
- Haddock Haddock
- Install (v2-cabal) Install (v2-cabal)
- User Manual User Manual
- Whitespace Whitespace
Management
- Caches

Build, Test, and Benchmark

Actions

Loading...
Loading

4 workflow runs

4 workflow runs

Build, Test, and Benchmark Build, Test, and Benchmark #4: Scheduled

41m 22s master

master

41m 22s

Build, Test, and Benchmark Build, Test, and Benchmark #3: Scheduled

43m 50s master

master

43m 50s

checkNoTerminationPragma on longer has to account for PositivityChecking Build, Test, and Benchmark #2: Commit 060c2c7 pushed by jamesmckinna

39m 10s master

master

39m 10s

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