Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: remove 23.10 from CI (EOL) #284

Merged
merged 1 commit into from
Jul 22, 2024

Conversation

cjdcordeiro
Copy link
Collaborator

Proposed changes

Mantic has reached its EOL and as such its archives are no longer available for Chisel. This PR removes 23.10 from the scheduled CI tests.

Checklist

@cjdcordeiro cjdcordeiro requested a review from a team July 22, 2024 06:46
@cjdcordeiro cjdcordeiro self-assigned this Jul 22, 2024
Copy link

@linostar linostar left a comment

Choose a reason for hiding this comment

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

LGTM.

Copy link
Collaborator

@zhijie-yang zhijie-yang left a comment

Choose a reason for hiding this comment

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

LGTM.

@cjdcordeiro cjdcordeiro merged commit b29bf5c into canonical:main Jul 22, 2024
27 checks passed
@cjdcordeiro cjdcordeiro deleted the ROCKS-1323/23.10-eol branch July 22, 2024 07:18
@HadrienPatte HadrienPatte mentioned this pull request Jul 24, 2024
2 tasks
clay-lake pushed a commit to clay-lake/chisel-releases that referenced this pull request Nov 18, 2024
clay-lake pushed a commit to clay-lake/chisel-releases that referenced this pull request Nov 21, 2024
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