[chore] stabilise SMT and bump provers · EasyCrypt/easycrypt@88b0efa

Triggered via pull request July 28, 2026 08:16

fdupress

synchronize #1084

stabilise-smt

Status Success

Total duration 7m 4s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.93 MB	`sha256:4bba4e00cd7e789d66a07fe7dbc8aad69b8c7c68ff87b9afcee38efb911c8c92`