Skip to content

Merge pull request #395 from dedis/c4dt-main-jean #1282

Merge pull request #395 from dedis/c4dt-main-jean

Merge pull request #395 from dedis/c4dt-main-jean #1282

Triggered via push March 12, 2025 15:33
Status Success
Total duration 26s
Artifacts
Web backend Lint
18s
Web backend Lint
Fit to window
Zoom out
Zoom in