Skip to content

Merge remote-tracking branch 'upstream/master' #3

Merge remote-tracking branch 'upstream/master'

Merge remote-tracking branch 'upstream/master' #3

Triggered via push October 17, 2024 09:42
Status Cancelled
Total duration 8m 56s
Artifacts
Type verification
8m 43s
Type verification
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Type verification
The run was canceled by @github-actions[bot].
Type verification
Process completed with exit code 1.
Type verification
Process completed with exit code 1.
Type verification
The operation was canceled.
Type verification
Process completed with exit code 1.