Try to fix github test #550
mathomp4
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
enforce-labels.yml
on: pull_request
require-label
4s
blocking-label
3s
Annotations
1 error
|
require-label
This PR is being prevented from merging because you have not added one of our required labels: 0 diff, 0 diff trivial, Non 0-diff, 0 diff structural, 0-diff trivial, Not 0-diff, 0-diff, automatic, 0-diff uncoupled, github_actions. Please add one so that the PR can be merged.
|