Simpler SMT goals · EasyCrypt/easycrypt@fd46736

Triggered via pull request July 20, 2026 09:34

vbgl

synchronize #1083

vbgl:smt-2026-07-20

Status Success

Total duration 10m 43s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

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