Skip to content
Server lint

Merge pull request #64 from dedis/improve-registration #58

Sign in to view logs

Merge pull request #64 from dedis/improve-registration

Merge pull request #64 from dedis/improve-registration #58

Triggered via push January 9, 2024 18:12
@jbsvjbsv
pushed 140661c
main
Status Success
Total duration 18s
Artifacts –

server_lint.yml

on: push
lint
9s
lint
Fit to window
Zoom out
Zoom in