10000 Build and test WASM · Workflow runs · agda/agda · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: agda/agda

Actions

Build and test WASM

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Running Agda on WASM Build and test WASM #6: Pull request #7561 synchronize by SquidDev
May 27, 2025 09:50 1h 7m 16s SquidDev:feature/wasm-lite
SquidDev:feature/wasm-lite
May 27, 2025 09:50 1h 7m 16s
Running Agda on WASM Build and test WASM #5: Pull request #7561 synchronize by SquidDev
May 27, 2025 07:54 34m 30s SquidDev:feature/wasm-lite
SquidDev:feature/wasm-lite
May 27, 2025 07:54 34m 30s
Running Agda on WASM Build and test WASM #4: Pull request #7561 synchronize by SquidDev
May 26, 2025 18:41 18m 49s SquidDev:feature/wasm-lite
SquidDev:feature/wasm-lite
May 26, 2025 18:41 18m 49s
Running Agda on WASM Build and test WASM #3: Pull request #7561 synchronize by SquidDev
May 26, 2025 15:03 36m 26s SquidDev:feature/wasm-lite
SquidDev:feature/wasm-lite
May 26, 2025 15:03 36m 26s
Running Agda on WASM Build and test WASM #2: Pull request #7561 synchronize by SquidDev
May 26, 2025 13:54 37m 59s SquidDev:feature/wasm-lite
SquidDev:feature/wasm-lite
May 26, 2025 13:54 37m 59s
Running Agda on WASM Build and test WASM #1: Pull request #7561 synchronize by SquidDev
May 26, 2025 13:45 3m 21s SquidDev:feature/wasm-lite
SquidDev:feature/wasm-lite
May 26, 2025 13:45 3m 21s
0