fix alpha-conversion problems in ehoare · EasyCrypt/easycrypt@842102c

Triggered via pull request January 27, 2026 18:57

strub

synchronize #872

fix-ehoare

Status Success

Total duration 6m 25s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman Expired	7.82 MB	`sha256:1db56114f442548a404077d097e857533b6570decec98e3daf62d0f65b60b4c0`