Skip to content
Server lint

Merge pull request #67 from dedis/smc-web-interface #71

Sign in to view logs

Merge pull request #67 from dedis/smc-web-interface

Merge pull request #67 from dedis/smc-web-interface #71

Run time

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