Skip to content

chore: added version test #1216

chore: added version test

chore: added version test #1216

Triggered via push July 8, 2024 10:59
Status Success
Total duration 1m 2s
Artifacts 10

Mythril.yaml

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

Annotations

21 warnings
run-mythril (Oracle.1.sol, OracleV1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
run-mythril (Oracle.1.sol, OracleV1)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']
run-mythril (River.1.sol, RiverV1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
run-mythril (River.1.sol, RiverV1)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']
run-mythril (Allowlist.1.sol, AllowlistV1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
run-mythril (Allowlist.1.sol, AllowlistV1)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']
run-mythril (Withdraw.1.sol, WithdrawV1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
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)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
run-mythril (CoverageFund.1.sol, CoverageFundV1)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']
run-mythril (Firewall.sol, Firewall)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
run-mythril (Firewall.sol, Firewall)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']
run-mythril (ELFeeRecipient.1.sol, ELFeeRecipientV1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
run-mythril (ELFeeRecipient.1.sol, ELFeeRecipientV1)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']
run-mythril (RedeemManager.1.sol, RedeemManagerV1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
run-mythril (RedeemManager.1.sol, RedeemManagerV1)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']
run-mythril (TLC.1.sol, TLCV1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
run-mythril (TLC.1.sol, TLCV1)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']
Deprecation notice: v1, v2, and v3 of the artifact actions
The following artifacts were uploaded using a version of actions/upload-artifact that is scheduled for deprecation: "AllowlistV1.mythril.md", "CoverageFundV1.mythril.md", "ELFeeRecipientV1.mythril.md", "Firewall.mythril.md", "OperatorsRegistryV1.mythril.md", "OracleV1.mythril.md", "RedeemManagerV1.mythril.md", "RiverV1.mythril.md", "TLCV1.mythril.md", "WithdrawV1.mythril.md". Please update your workflow to use v4 of the artifact actions. Learn more: https://github.blog/changelog/2024-04-16-deprecation-notice-v3-of-the-artifact-actions/
run-mythril (OperatorsRegistry.1.sol, OperatorsRegistryV1)
The following actions uses Node.js version which is deprecated and will be forced to run on node20: actions/checkout@v3, actions/upload-artifact@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
run-mythril (OperatorsRegistry.1.sol, OperatorsRegistryV1)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']

Artifacts

Produced during runtime
Name Size
AllowlistV1.mythril.md
1.96 KB
CoverageFundV1.mythril.md
1.97 KB
ELFeeRecipientV1.mythril.md
1.98 KB
Firewall.mythril.md
1.64 KB
OperatorsRegistryV1.mythril.md
1.99 KB
OracleV1.mythril.md
1.95 KB
RedeemManagerV1.mythril.md
1.97 KB
RiverV1.mythril.md
1.95 KB
TLCV1.mythril.md
1.98 KB
WithdrawV1.mythril.md
1.96 KB