Skip to content
formal verification

Refactor EnumerableSet and EnumerableMap to support more types #6281

Sign in to view logs

Refactor EnumerableSet and EnumerableMap to support more types

Refactor EnumerableSet and EnumerableMap to support more types #6281

Triggered via pull request March 5, 2025 21:16
@AmxxAmxx
synchronize #5558
Amxx:refactor/enumerable
Status Success
Total duration 1m 25s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
5s
apply-diff
verify
0s
verify
halmos
1m 11s
halmos
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
halmos
Cache not found for keys: linux-foundry-chain-fork-halmos-965c981069f4b4537ea72a27d8a1244b6e56dd4e, linux-foundry-chain-fork-halmos-, linux-foundry-chain-fork-
halmos
Cache not found for keys: setup-python-Linux-x64-24.04-Ubuntu-python-3.11.11-pip-cb6dbf351b1b9abde93f704db5b40dc4eeafada7e002ac32520c95548772def8, setup-python-Linux-x64-24.04-Ubuntu-python-3.11.11-pip