feat(idl): add function return analysis to type checking #5855
autofix-ci[bot]regress.yml
on: pull_request
build-container
3m 25s
Matrix: Create the gems
build-llvm
12s
Java (Xtext) tests
1m 14s
regress-pre-commit
3m 46s
never-runs
0s
Matrix: regress-udb-unit-test
Matrix: build-profile
Matrix: regress-idl-typecheck
regress-find-configs
8s
regress-idlc-unit
2m 17s
regress-udb-helpers-unit
2m 13s
regress-sorbet
1m 38s
regress-ext-explorer
3m 12s
regress-test-inst-encodings
2m 20s
regress-gen-isa-manual
9m 20s
regress-gen-instruction-appendix
3m 53s
regress-cfg-manual
11m 6s
regress-gen-ext-pdf
9m 59s
regress-gen-certificate
5m 14s
regress-gen-profile
5m 30s
regress-gen-go
2m 6s
regress-gen-c-header
3m 40s
regress-gen-sverilog
2m 45s
regress-cpp-unit
11m 59s
regress-riscv-tests-32
10m 3s
regress-riscv-tests-64
13m 0s
regress-xqci-doc
11m 35s
regress-profile-extensions
2m 2s
regress-regress
2m 11s
build-reuse-manifest
build-udb-api-docs
0s
resolve-unconfig
0s
build-isa-explorer-csr
build-isa-explorer-ext
0s
build-isa-explorer-inst
0s
build-isa-explorer-spreadsheet
0s
build-html-isa-manual
0s
build-html-cfg-isa-manual
build-instruction-appendix
0s
build-idl-doc
0s
Matrix: Test udb gem using z3 across several distros and platforms
regress-complete
3s
Annotations
3 errors and 12 warnings
|
regress-sorbet
Process completed with exit code 1.
|
|
regress-regress
Process completed with exit code 1.
|
|
regress-complete
Process completed with exit code 1.
|
|
Create the gems (idlc)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Create the gems (udb)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Create the gems (udb_helpers)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Test udb gem using z3 across several distros and platforms (ubuntu-24.04, ruby:3-slim)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Java (Xtext) tests
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
VS Code Mocha tests
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5, actions/setup-node@49933ea5288caeca8642d1e84afbd3f7d6820020. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Test udb gem using z3 across several distros and platforms (ubuntu-24.04-arm, almalinux:8)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
Test udb gem using z3 across several distros and platforms (ubuntu-24.04, almalinux:8)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
build-container
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: docker/login-action@74a5d142397b4f367a81961eba4e8cd7edddf772. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
regress-pre-commit
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
regress-idlc-unit
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
regress-udb-cov-report
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/github-script@60a0d83039c74a4aee543508d2ffcb1c3799cdea. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Please check if updated versions of these actions are available that support Node.js 24. To opt into Node.js 24 now, set the FORCE_JAVASCRIPT_ACTIONS_TO_NODE24=true environment variable on the runner or in your workflow file. Once Node.js 24 becomes the default, you can temporarily opt out by setting ACTIONS_ALLOW_USE_UNSECURE_NODE_VERSION=true. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
docker_image
|
1.26 GB |
sha256:0fe678c252e576a69047f036b6ec5705aae147c89ef6127f5dddb3cfbc3d8563
|
|
|
idlc.gem
|
119 KB |
sha256:766738000d6a74be8a796c4cb025647bfe5c73f3a11738abc6b122f64c3f68a8
|
|
|
riscv-json
|
8.39 MB |
sha256:267957129be1522ad1aa8e055a1e62f3ca1caee232eefa6064cd07ace5da3057
|
|
|
surefire-reports
|
9.46 KB |
sha256:cfd7782b8c76544d4ccbba4acb7814c48085959f8bf45df5c039b0bc6e574ea4
|
|
|
udb-cfg-cov
|
64.5 KB |
sha256:ee30dac4734aa82bb4ed216792693e77dd5e5f6a997ba7b64b19df8b7d9ffdd5
|
|
|
udb-cfg_arch-cov
|
67.4 KB |
sha256:db72d159c41eab4deacf915a43f85ffba624717f80f9ae8e4adc21569855f1ad
|
|
|
udb-cli-cov
|
64.6 KB |
sha256:38768530a1b9d039af052776dc94783594093da52c55b2885de4c5da7021970e
|
|
|
udb-conditions-cov
|
64.2 KB |
sha256:ce4d076cbb6f5b430e2ad986f2648bb63a80f9d73089123fb2a151399efdc124
|
|
|
udb-instruction-cov
|
60.2 KB |
sha256:7c9bdc6777365888ebc3eeee8cdd6cf6c6b9ce7c81cd630fe895956eb3979d1f
|
|
|
udb-logic-cov
|
63.2 KB |
sha256:9d274a27c73d7b9d240fab0b17e26a91169403424da5a82ba9a55a76c7f99f7c
|
|
|
udb-mmr-cov
|
60.5 KB |
sha256:ed99184dbd6c1cdfd10c0e08201de5483e4c9aff3c815dfa495fe040a892fda9
|
|
|
udb-mmr_schema-cov
|
233 Bytes |
sha256:6d0712e16c5916030fc8bae085392baf2f0835afd5f8f89eccc1533230c254f3
|
|
|
udb-yaml_loader-cov
|
59.3 KB |
sha256:bebb29a459a4334bb2d3eb7e39a8c663679e2fa8bea2f1b0e32c5f6dea05c4fa
|
|
|
udb-z3-cov
|
5.52 KB |
sha256:a0b286f50254f435206ea18897010c8002fc4216d1d0efaafc53d6e66cd067b3
|
|
|
udb-z3_extensions-cov
|
59.9 KB |
sha256:bbd46562d1ee673c9eaee33a0bc639d33daca570e3b135e0b019d867b126b446
|
|
|
udb-z3_finite_array-cov
|
5.58 KB |
sha256:74e7005a3056163f3958329f242b2ecfc8d1c4d3697411649b16bb96ce509574
|
|
|
udb-z3_parameter_constraints-cov
|
5.83 KB |
sha256:c1059d5f1cba0359fa023ab2d5f58f9c5f9ff80a852681690061a28ec16bead1
|
|
|
udb.gem
|
145 KB |
sha256:61119bd33df75919bd3d1baa23b512c199744123d42b0b5342c5c079612bf8df
|
|
|
udb_helpers.gem
|
6.5 KB |
sha256:0956129f5e4a73b8d8f5561c2fde267f7c2af66f6f543cf707f330b3dd7fc711
|
|
|
vscode-test-logs
|
3.85 KB |
sha256:265f9edee4e4b4e62f93c5b5e2471064ab4fe5a7085a51f115cbd805b0b55deb
|
|