Ignore testcomp compiled wasm binaries #324

Summary
Jobs
- deploy
Run details
- Usage
- Workflow file

Annotations

6 errors

RPC failed; curl 92 HTTP/2 stream 0 was not closed cleanly: INTERNAL_ERROR (err 2)

23896 bytes of body are still expected

early EOF

fetch-pack: invalid index-pack output

clone of 'https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks.git' into submodule path '/home/runner/work/owi/owi/bench/testcomp/sv-benchmarks' failed

The process '/opt/hostedtoolcache/opam/2.2.0-beta3/x86_64/opam' failed with exit code 40

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Ignore testcomp compiled wasm binaries #324

deploy

Ignore testcomp compiled wasm binaries #324

Jobs

Run details

Annotations

This job failed

Re-running jobs...