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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
lint
9s
9s