Skip to content

feat: halmos symbolic tests #37

feat: halmos symbolic tests

feat: halmos symbolic tests #37

Triggered via pull request August 15, 2024 13:29
Status Failure
Total duration 6s
Artifacts

slither.yml

on: pull_request
slither-analyze
0s
slither-analyze
Fit to window
Zoom out
Zoom in

Annotations

1 error
slither-analyze
GitHub Actions has encountered an internal error when running your job.