Skip to content
ci

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

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 #54

Triggered via push September 27, 2024 12:03
@auer-martinauer-martin
pushed e3c2032
main
Status Success
Total duration 3m 34s
Artifacts –

ci.yml

on: push
build
24s
build
format
18s
format
typecheck
31s
typecheck
lint
38s
lint
test
2m 54s
test
Fit to window
Zoom out
Zoom in

Annotations

1 error
test
unable to access 'https://github.com/auer-martin/protokoll/': Failed to connect to github.com port 443 after 133173 ms: Connection timed out