PR: Allow symbolic assignments for cfold · EasyCrypt/easycrypt@bc3435c

Triggered via pull request February 10, 2026 16:00

opened #892

Status Success

Total duration 3m 44s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman Expired	7.85 MB	`sha256:5863d1d16f43866159461b71bf890552cf0f7ae12707e7f834f2e764ac131f89`