use conversion in t_ehoare_call_core · EasyCrypt/easycrypt@8fef1bd

Triggered via pull request June 17, 2026 09:49

bgregoir

opened #1049

restore-ehoare-call

Status Success

Total duration 6m 47s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.89 MB	`sha256:ae23893feb24ec18e0df75f7f0e9b4ea36cf7939b66971c7a805ab7df34b89e5`