Skip to content

Merge remote-tracking branch 'upstream/main' into type_hints #1392

Merge remote-tracking branch 'upstream/main' into type_hints

Merge remote-tracking branch 'upstream/main' into type_hints #1392

Triggered via push June 12, 2024 19:06
Status Cancelled
Total duration 28m 52s
Artifacts

lint.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 error
Lint
Canceling since a higher priority waiting request for 'Lint-refs/heads/type_hints' exists