Contracts: History Expressions via "old" monad #1056

Sign in to view logs

Triggered via pull request June 18, 2024 15:40

pi314mm

synchronize #3232

Status Success

Total duration 55m 58s

Artifacts –

extra_jobs.yml

on: pull_request_target

Verification Benchmarks / perf-benchcomp