Contracts: History Expressions via "old" monad #1060

Sign in to view logs

Triggered via pull request June 18, 2024 18:39

pi314mm

synchronize #3232

Status Success

Total duration 58m 3s

Artifacts –

extra_jobs.yml

on: pull_request_target

Verification Benchmarks / perf-benchcomp