Fall back to checking equality of expressions in `sim` · EasyCrypt/easycrypt@8ecca7e

Triggered via pull request July 3, 2026 13:44

strub

synchronize #997

fix-990-2

Status Success

Total duration 9m 15s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.92 MB	`sha256:cec4e53448274a01d22fd2b90c683055166a6ebc413b6865ce74c31cfae3ea07`