fix: limit the fuzzing #1198
iamsahuAnnotations
21 warnings
|
run-mythril (Allowlist.1.sol, AllowlistV1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
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)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
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 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
run-mythril (Withdraw.1.sol, WithdrawV1)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']
|
|
run-mythril (Firewall.sol, Firewall)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
run-mythril (Firewall.sol, Firewall)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']
|
|
run-mythril (TLC.1.sol, TLCV1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
run-mythril (TLC.1.sol, TLCV1)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']
|
|
run-mythril (River.1.sol, RiverV1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
run-mythril (River.1.sol, RiverV1)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']
|
|
run-mythril (OperatorsRegistry.1.sol, OperatorsRegistryV1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
run-mythril (OperatorsRegistry.1.sol, OperatorsRegistryV1)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']
|
|
run-mythril (CoverageFund.1.sol, CoverageFundV1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
run-mythril (CoverageFund.1.sol, CoverageFundV1)
Unexpected input(s) 'command', 'fail_ci_if_error', valid inputs are ['entryPoint', 'args', 'contract']
|
|
run-mythril (RedeemManager.1.sol, RedeemManagerV1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
run-mythril (RedeemManager.1.sol, RedeemManagerV1)
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 (Oracle.1.sol, OracleV1)
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/upload-artifact@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
|
run-mythril (Oracle.1.sol, OracleV1)
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 |
|