Refactor cfold propagation and add eager mode · EasyCrypt/easycrypt@01f9e27

Triggered via pull request March 24, 2026 05:59

strub

synchronize #938

refactor_cfold

Status Success

Total duration 3m 43s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.87 MB	`sha256:4b8febaaf59f2270a1ab69cd45c98507103b764bcf19e1cdc921dc2516051e29`