add OS v0.13.2 builtins to serialize_builtin_segments function #50
HermanObsthyperfine.yml
on: pull_request
Matrix: build-binaries
Matrix: build-programs
Matrix: run-hyperfine
Annotations
6 warnings
|
Build Cairo programs for head
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/cache@v3, actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Build Cairo programs for base
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/cache@v3, actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Build cairo-vm-cli for base
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/cache@v3, actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Build cairo-vm-cli for head
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/cache@v3, actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Run benchmarks for modified programs
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/cache/restore@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
|
Run benchmarks for unmodified programs
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/cache/restore@v3, peter-evans/find-comment@v2, peter-evans/create-or-update-comment@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|