use auto unfold for some `Logic` operators · EasyCrypt/easycrypt@88096fb

Triggered via push July 2, 2026 15:51

main

Status Success

Total duration 7m 13s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
refman	7.92 MB	`sha256:545da3284bc085ea891e836c57defe8a0930a48c36a1dc8e48b94bf258b829e8`