Skip to content

Actions: jamesmckinna/agda

Actions

Build and test WASM

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
wasm.yml
10 workflow runs
10 workflow runs

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 #10: Scheduled
1h 13m 12s master
master
1h 13m 12s
Build and test WASM Build and test WASM #9: Scheduled
1h 10m 32s master
master
1h 10m 32s
Build and test WASM Build and test WASM #8: Scheduled
1h 12m 26s master
master
1h 12m 26s
Build and test WASM Build and test WASM #7: Scheduled
1h 12m 40s master
master
1h 12m 40s
Build and test WASM Build and test WASM #6: Scheduled
1h 15m 28s master
master
1h 15m 28s
Build and test WASM Build and test WASM #5: Scheduled
1h 18m 57s master
master
1h 18m 57s
Build and test WASM Build and test WASM #4: Scheduled
1h 17m 4s master
master
1h 17m 4s
Build and test WASM Build and test WASM #3: Scheduled
1h 17m 47s master
master
1h 17m 47s
checkNoTerminationPragma on longer has to account for PositivityChecking Build and test WASM #2: Commit 060c2c7 pushed by jamesmckinna
1s master
master
1s
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