[provers] update all CVC5 versions · EasyCrypt/easycrypt@87c589f

Triggered via pull request May 8, 2026 16:03

fdupress

synchronize #1004

docker-cvc5-1.3.4

Status Success

Total duration 3m 55s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.89 MB	`sha256:8a313f0517b75475fa51d8da84a94b539bdedd7c5c4f3f2db60b67a895bcb46a`