Skip to content

Update actions/setup-python action to v6 #1722

Update actions/setup-python action to v6

Update actions/setup-python action to v6 #1722

Triggered via pull request April 23, 2026 00:26
Status Success
Total duration 1m 24s
Artifacts 10

Mythril.yaml

on: pull_request
Matrix: run-mythril
Fit to window
Zoom out
Zoom in

Annotations

20 warnings
run-mythril (River.1.sol, RiverV1)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/upload-artifact@v4. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 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/
run-mythril (River.1.sol, RiverV1)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']
run-mythril (Firewall.sol, Firewall)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/upload-artifact@v4. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 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/
run-mythril (Firewall.sol, Firewall)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']
run-mythril (RedeemManager.1.sol, RedeemManagerV1)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/upload-artifact@v4. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 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/
run-mythril (RedeemManager.1.sol, RedeemManagerV1)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']
run-mythril (ELFeeRecipient.1.sol, ELFeeRecipientV1)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/upload-artifact@v4. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 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/
run-mythril (ELFeeRecipient.1.sol, ELFeeRecipientV1)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']
run-mythril (Withdraw.1.sol, WithdrawV1)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/upload-artifact@v4. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 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/
run-mythril (Withdraw.1.sol, WithdrawV1)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']
run-mythril (CoverageFund.1.sol, CoverageFundV1)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/upload-artifact@v4. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 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/
run-mythril (CoverageFund.1.sol, CoverageFundV1)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']
run-mythril (OperatorsRegistry.1.sol, OperatorsRegistryV1)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/upload-artifact@v4. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 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/
run-mythril (OperatorsRegistry.1.sol, OperatorsRegistryV1)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']
run-mythril (Oracle.1.sol, OracleV1)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/upload-artifact@v4. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 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/
run-mythril (Oracle.1.sol, OracleV1)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']
run-mythril (TLC.1.sol, TLCV1)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/upload-artifact@v4. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 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/
run-mythril (TLC.1.sol, TLCV1)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']
run-mythril (Allowlist.1.sol, AllowlistV1)
Node.js 20 actions are deprecated. The following actions are running on Node.js 20 and may not work as expected: actions/upload-artifact@v4. Actions will be forced to run with Node.js 24 by default starting June 2nd, 2026. Node.js 20 will be removed from the runner on September 16th, 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/
run-mythril (Allowlist.1.sol, AllowlistV1)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']

Artifacts

Produced during runtime
Name Size Digest
AllowlistV1.mythril.md
160 Bytes
sha256:1e9004a9a3e82335f3e8e44c3e06540491151ed9e0b7e86f99c98f9521222209
CoverageFundV1.mythril.md
166 Bytes
sha256:dc96a4ec99e45884d9c76976a89ec6d8000376a60700fd73177cf462383bc099
ELFeeRecipientV1.mythril.md
170 Bytes
sha256:604d7ef4fa83de1397856777b17ad254535b99ac2da19f6dcf17f1424afa641a
Firewall.mythril.md
154 Bytes
sha256:432a64b4c2e98277872c4101c9ea11c2ccba8bea9bec7e15b1eaadc5458c6e1d
OperatorsRegistryV1.mythril.md
176 Bytes
sha256:c4d1e5879a4e3eb7ac50672a9fe100ee15620145f8782c9e81fd1d55f0804414
OracleV1.mythril.md
154 Bytes
sha256:2addf0d1814d05d6a5909a58c48e769cfd37dbfd0cbedeff3b3d2767a9c58b0c
RedeemManagerV1.mythril.md
168 Bytes
sha256:2b709c987088e17157b16d73f6ceea9ffdd6a48df8c29017687009383c32c624
RiverV1.mythril.md
152 Bytes
sha256:9d2796fbbf8202f4dfadf3a41669cfb0a36699929642c01af55b67cd4f953840
TLCV1.mythril.md
148 Bytes
sha256:14e51a0ddc4aa3c68b33adbdab9639a4b4987e76fe1d389cba66e36ef6b4be5d
WithdrawV1.mythril.md
158 Bytes
sha256:f95d1a3f473e76532a95f7f6fb291ed6f5b638ed637096b83b27448924b8456a