Skip to content
ci

Merge branch 'main' of https://github.com/auer-martin/protokoll #52

Sign in to view logs

Merge branch 'main' of https://github.com/auer-martin/protokoll

Merge branch 'main' of https://github.com/auer-martin/protokoll #52

Triggered via push September 27, 2024 09:04
@auer-martinauer-martin
pushed 4942d63
main
Status Success
Total duration 2m 2s
Artifacts –

ci.yml

on: push
build
31s
build
format
18s
format
typecheck
30s
typecheck
lint
37s
lint
test
23s
test
Fit to window
Zoom out
Zoom in