Skip to content

Added version view function (#270) #1218

Added version view function (#270)

Added version view function (#270) #1218

Triggered via push July 11, 2024 13:14
Status Success
Total duration 1m 1s
Artifacts 10

Mythril.yaml

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

Annotations

21 warnings
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 (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 (Firewall.sol, Firewall)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']
run-mythril (RedeemManager.1.sol, RedeemManagerV1)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']
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']
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']
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 (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 (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 (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 (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']
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/

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