Contracts: History Expressions via "old" monad #1059

Sign in to view logs

Triggered via pull request June 18, 2024 16:59

pi314mm

synchronize #3232

Status Success

Total duration 56m 47s

Artifacts –

extra_jobs.yml

on: pull_request_target

Verification Benchmarks / perf-benchcomp