Rename `eddsa-2022` into `eddsa-rdfc-2022`. #1846

Sign in to view logs

Triggered via pull request July 15, 2024 15:13

timothee-haudebourg

synchronize #581

timothee-haudebourg/issue580

Status Success

Total duration 15m 42s

Artifacts –

build.yml

on: pull_request

test-each-feature