Skip to content

[basic.scope.scope] Rename to [basic.scope.general]. #8151

[basic.scope.scope] Rename to [basic.scope.general].

[basic.scope.scope] Rename to [basic.scope.general]. #8151

This workflow is awaiting approval from a maintainer in #7496
Triggered via pull request December 17, 2024 15:36
Status Action required
Total duration
Artifacts
This workflow is awaiting approval from a maintainer in #7496

check.yml

on: pull_request
Matrix: run-checks
Waiting for pending jobs
Fit to window
Zoom out
Zoom in