Skip to content

Conversation

@liyishuai
Copy link
Contributor

Prevent future versions of #1022

Copy link
Contributor

@JasonGross JasonGross left a comment

Choose a reason for hiding this comment

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

You need to update

concurrency:
      group: ${{ github.workflow }}-${{ matrix.target }}-Ubuntu-${{ github.event_name }}-${{ github.head_ref || github.run_id }}

to include ${{ matrix.ocaml_version }} to avoid one ocaml version cancelling the others

@mattam82
Copy link
Member

I'd rather have just 4.09 than all the intermediate version, this is somewhat costly otherwise.

@mattam82 mattam82 merged commit 44c204b into MetaRocq:coq-8.17 Jan 27, 2024
@liyishuai liyishuai deleted the patch-1 branch January 28, 2024 08:30
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.

3 participants