Skip to content

Further type improvements for or helper #132

Further type improvements for or helper

Further type improvements for or helper #132

Triggered via pull request September 11, 2023 18:04
Status Cancelled
Total duration 1m 38s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ci.yml

on: pull_request
Matrix: try-scenarios
Fit to window
Zoom out
Zoom in

Annotations

1 error
Tests
Canceling since a higher priority waiting request for 'ci-improve-or' exists