Fix soundness bug with clone overrides of subtypes · EasyCrypt/easycrypt@3d4d908

Triggered via pull request July 1, 2026 14:45

oskgo

synchronize #1062

fix-subtype

Status Success

Total duration 6m 52s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.92 MB	`sha256:06e3c7f47a3797da988517982d395be1d3669a4a133e0ef3c9d46ac2bff870ba`