Skip to content

Add cancel-in-progress directive - #495

Draft
proux01 wants to merge 1 commit into
rocq-community:masterfrom
proux01:test-concurrency
Draft

Add cancel-in-progress directive#495
proux01 wants to merge 1 commit into
rocq-community:masterfrom
proux01:test-concurrency

Conversation

@proux01

@proux01 proux01 commented Jul 30, 2026

Copy link
Copy Markdown
Collaborator

Fixes #269

@proux01
proux01 force-pushed the test-concurrency branch from f5a0342 to 446a5cf Compare July 30, 2026 13:37

@Zimmi48 Zimmi48 left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Of course, it should be tested before merging, by pushing dummy commits to this branch.

@proux01

proux01 commented Jul 31, 2026

Copy link
Copy Markdown
Collaborator Author

That's what I did. It seems to work for the pull_request job but of course, for the pull_request_target ones, we'll only know after merging.
I'd rather wait for #492 to be merged before merging this one, to avoid one more rebase.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

wish: generate cancel-in-progress directive

2 participants