Skip to content
CI

feat: add certora specs and audit #108

Sign in to view logs

feat: add certora specs and audit

feat: add certora specs and audit #108

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

ci.yml

on: pull_request
lint
20s
lint
build
26s
build
test
21s
test
coverage
27s
coverage
verify
6m 28s
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/