feat(notations): add user-extensible notations · EasyCrypt/easycrypt@421a078

Triggered via pull request April 28, 2026 07:33

strub

synchronize #985

notations

Status Success

Total duration 3m 27s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman Expired	7.9 MB	`sha256:cf97bf46d04939b4f6505a8d7be2292d3f36eb2282467557564ab827b71de5b5`