Skip to content

AppVeyor timings#272

Open
dra27 wants to merge 2 commits intotrunkfrom
appveyor-opam
Open

AppVeyor timings#272
dra27 wants to merge 2 commits intotrunkfrom
appveyor-opam

Conversation

@dra27
Copy link
Owner

@dra27 dra27 commented Mar 20, 2026

No description provided.

@dra27 dra27 added no-change-entry-needed Causes the check for a Changes entry to be skipped for PRs CI: Skip testsuite Skip the testsuite runs on a PR labels Mar 20, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI: Skip testsuite Skip the testsuite runs on a PR no-change-entry-needed Causes the check for a Changes entry to be skipped for PRs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant