feat: named ring/field instances for `ring`/`field` structure selection · EasyCrypt/easycrypt@4962389

Triggered via pull request July 7, 2026 05:45

strub

opened #1067

multi-instance-ring

Status Success

Total duration 6m 46s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size	Digest
refman	7.92 MB	`sha256:9454d5da214666b83c1296d6516fb8486a2fe993301047d80dcd098430cdc3a2`