Skip to content
Server lint

Merge pull request #65 from dedis/update-dependencies #60

Sign in to view logs

Merge pull request #65 from dedis/update-dependencies

Merge pull request #65 from dedis/update-dependencies #60

Triggered via push January 12, 2024 13:08
@jbsvjbsv
pushed 0e2931e
main
Status Success
Total duration 1m 3s
Artifacts –

server_lint.yml

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