Skip to content
formal verification

Add Arachnid's and Micah's deployer to the common contracts #6180

Sign in to view logs

Add Arachnid's and Micah's deployer to the common contracts

Add Arachnid's and Micah's deployer to the common contracts #6180

Triggered via pull request February 21, 2025 18:53
@AmxxAmxx
labeled #5519
Amxx:feature/arachnid-deployer
Status Success
Total duration 1m 36s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
3s
apply-diff
verify
0s
verify
halmos
55s
halmos
Fit to window
Zoom out
Zoom in

Annotations

1 warning
halmos
Cache not found for keys: linux-foundry-chain-fork-halmos-d91ab7d9d609fa063eb42a727933c23923aebf49, linux-foundry-chain-fork-halmos-, linux-foundry-chain-fork-