Skip to content

Optimize _<_> schedule operator #8

Optimize _<_> schedule operator

Optimize _<_> schedule operator #8

Triggered via pull request April 11, 2024 18:36
@dwightguthdwightguth
synchronize #1
schedule
Status Success
Total duration 22m 38s
Artifacts

test-pr.yml

on: pull_request
Code Quality Checks
25s
Code Quality Checks
Unit Tests
1m 31s
Unit Tests
Profiling
1m 49s
Profiling
Build and Test KEVM concrete execution
21m 58s
Build and Test KEVM concrete execution
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Code Quality Checks
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4, Gr1N/setup-poetry@v8. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Unit Tests
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4, Gr1N/setup-poetry@v8. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Profiling
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/setup-python@v4, Gr1N/setup-poetry@v8. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.