Skip to content
CI

Merge branch 'main' of github.com:aviggiano/halmos-differential-erc20 #9

Sign in to view logs

Merge branch 'main' of github.com:aviggiano/halmos-differential-erc20

Merge branch 'main' of github.com:aviggiano/halmos-differential-erc20 #9

Triggered via push September 25, 2024 10:46
@aviggianoaviggiano
pushed 20ed8e1
main
Status Failure
Total duration 33s
Artifacts –

test.yml

on: push
Foundry project
23s
Foundry project
Fit to window
Zoom out
Zoom in

Annotations

1 error
Foundry project
Process completed with exit code 1.