Merge pull request #1320 from crytic/dev-bump-2.2.5 · crytic/echidna@6d5ac38

Triggered via push October 11, 2024 18:53

master

Status Success

Total duration 40m 5s

Artifacts 5

ci.yml

on: push

Matrix: build

Matrix: test

Produced during runtime