Skip to content

Merge branch 'main' into use-quantifiers #147

Merge branch 'main' into use-quantifiers

Merge branch 'main' into use-quantifiers #147

Triggered via push August 20, 2025 12:33
Status Success
Total duration 4m 2s
Artifacts

rustc.yml

on: push
Matrix: upstream_test
Fit to window
Zoom out
Zoom in

Annotations

2 notices
upstream_test (macos-latest)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
upstream_test (macos-latest)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520