ecproofs: add caching and script export for proof directives · EasyCrypt/easycrypt@cacb09a

Triggered via pull request February 3, 2026 13:22

strub

opened #883

ecproof-save-and-cache

Status Success

Total duration 3m 44s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman Expired	7.83 MB	`sha256:d2067b946f22a156432db4b22f7bf0fae311a6726c3737c59d67c3218b3aa3ae`