Skip to content
CI

Merge remote-tracking branch 'origin/main' into main #106

Sign in to view logs

Merge remote-tracking branch 'origin/main' into main

Merge remote-tracking branch 'origin/main' into main #106

Triggered via push December 1, 2023 21:19
@RedBeardEthRedBeardEth
pushed 19ef6b5
main
Status Failure
Total duration 1m 9s
Artifacts –

ci.yml

on: push
lint
57s
lint
format
21s
format
typecheck
22s
typecheck
comment-if-failed
29s
comment-if-failed
Fit to window
Zoom out
Zoom in

Annotations

3 errors
typecheck
Process completed with exit code 1.
comment-if-failed
No GITHUB_TOKEN found in environment
lint
Process completed with exit code 1.