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

Triggered via pull request April 24, 2026 06:34

strub

synchronize #985

notations

Status Success

Total duration 3m 46s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.9 MB	`sha256:0da6f4303bba3768c23abdbca011f40fa5d415c81b0cadb13f8a2ed5dc895d87`