excluded memory intensive examples and added back benchmark-ci #4
zutshici-bench.yml
on: push
Performance benchmarks
25m 19s
Annotations
1 error and 1 warning
|
Performance benchmarks
Command 'git' failed with args '-c user.name=github-action-benchmark -c [email protected] -c http.https://github.com/.extraheader= fetch ***github.com/GaloisInc/jolt.git gh-pages:gh-pages': fatal: couldn't find remote ref gh-pages
: Error: The process '/usr/bin/git' failed with exit code 128
|
|
Performance benchmarks
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|