Skip to content

ZIR-354: Adjust output directory for rv32im-v2 #839

ZIR-354: Adjust output directory for rv32im-v2

ZIR-354: Adjust output directory for rv32im-v2 #839

Triggered via pull request March 14, 2025 19:46
Status Success
Total duration 13m 9s
Artifacts

main.yml

on: pull_request
Matrix: bazel
Matrix: check-generated-zirgen
Matrix: test
main-status-check
2s
main-status-check
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
check-generated-zirgen (Linux)
Process completed with exit code 1.
check
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/
check
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/