Skip to content

Merge branch 'main' into feat/TLC-ExposeVestingScheduleData #1312

Merge branch 'main' into feat/TLC-ExposeVestingScheduleData

Merge branch 'main' into feat/TLC-ExposeVestingScheduleData #1312

Triggered via push October 10, 2024 12:05
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 (RedeemManager.1.sol, RedeemManagerV1)
The following actions use a deprecated Node.js version 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 (Allowlist.1.sol, AllowlistV1)
The following actions use a deprecated Node.js version 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 (River.1.sol, RiverV1)
The following actions use a deprecated Node.js version 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 (Oracle.1.sol, OracleV1)
The following actions use a deprecated Node.js version 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 (Firewall.sol, Firewall)
The following actions use a deprecated Node.js version 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 (Withdraw.1.sol, WithdrawV1)
The following actions use a deprecated Node.js version 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 (OperatorsRegistry.1.sol, OperatorsRegistryV1)
The following actions use a deprecated Node.js version 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 (ELFeeRecipient.1.sol, ELFeeRecipientV1)
The following actions use a deprecated Node.js version 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 (CoverageFund.1.sol, CoverageFundV1)
The following actions use a deprecated Node.js version 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']
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 (TLC.1.sol, TLCV1)
The following actions use a deprecated Node.js version 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']

Artifacts

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