Skip to content
PR tests

Set loadstore flags #13264

Sign in to view logs

Set loadstore flags

Set loadstore flags #13264

Triggered via pull request April 4, 2025 12:45
@georgwiesegeorgwiese
opened #2632
set-loadstore-flags
Status Failure
Total duration 15m 56s
Artifacts –

pr-tests.yml

on: pull_request
build
7m 6s
build
run_examples
15m 15s
run_examples
bench
14m 38s
bench
udeps
4m 38s
udeps
test_estark_polygon
0s
test_estark_polygon
Matrix: test_quick
Matrix: test_slow
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 4 warnings
udeps
The process '/home/runner/.cargo/bin/cargo' failed with exit code 101
build
Process completed with exit code 101.
bench
No benchmark result was found in /home/runner/work/powdr/powdr/output.txt. Benchmark output was ''
run_examples
Process completed with exit code 101.
udeps
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
udeps
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
udeps
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
udeps
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/