Refactor cfold propagation and add eager mode · EasyCrypt/easycrypt@1b94156

Triggered via push March 24, 2026 16:01

strub

main

Status Success

Total duration 4m 3s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
refman	7.87 MB	`sha256:e700658574d3bb6dbffbd3a9957b700c184df8ecc5977d0f786cb713df6bfe79`