Deploy · 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

Deploy

Actions

Loading...
Loading

4 workflow runs

4 workflow runs

Deploy Deploy #4: completed by jamesmckinna

29m 53s

29m 53s

Deploy Deploy #3: completed by jamesmckinna

25m 8s

25m 8s

Deploy Deploy #2: completed by jamesmckinna

28m 48s

28m 48s

Deploy Deploy #1: completed by jamesmckinna

37m 16s

37m 16s