Skip to content

Raise default number of workers #1988

Raise default number of workers

Raise default number of workers #1988

Triggered via pull request July 15, 2024 17:03
Status Success
Total duration 21m 0s
Artifacts 5

ci.yml

on: pull_request
Matrix: build
Matrix: test
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
echidna-Linux Expired
18.1 MB
echidna-Windows Expired
17.8 MB
echidna-macOS Expired
8.88 MB
echidna-testsuite-Linux Expired
24.8 MB
echidna-testsuite-Windows Expired
21.8 MB