Skip to content
CI

feat: add certora specs and audit #109

Sign in to view logs

feat: add certora specs and audit

feat: add certora specs and audit #109

Triggered via pull request November 22, 2023 12:15
@0x-r4bbit0x-r4bbit
synchronize #43
gad-minime-spec
Status Success
Total duration 11m 0s
Artifacts –

ci.yml

on: pull_request
lint
46s
lint
build
22s
build
test
22s
test
coverage
28s
coverage
verify
9m 54s
verify
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
lint: test/MiniMeToken.t.sol#L164
Variable name must be in mixedCase
lint: test/MiniMeToken.t.sol#L569
Error message for require is too long
lint: test/MiniMeToken.t.sol#L604
Error message for revert is too long
lint: test/MiniMeToken.t.sol#L613
Avoid to use inline assembly. It is acceptable only in rare cases
lint: test/MiniMeToken.t.sol#L626
Provide an error message for require
lint: test/MiniMeToken.t.sol#L630
Avoid to use inline assembly. It is acceptable only in rare cases
lint: test/MiniMeToken.t.sol#L1161
Import statements must be on top
lint: test/MiniMeToken.t.sol#L1381
Variable name must be in mixedCase
lint: test/MiniMeToken.t.sol#L1383
Variable name must be in mixedCase
verify
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/setup-python@v2, actions/setup-java@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/