Skip to content

Conversation

@JonasWanke
Copy link
Member

@JonasWanke JonasWanke commented Nov 21, 2024

The VS Code extension check should work once #1066 is merged

Checklist

  • Tests for the changes have been added (for bug fixes / features)
  • Docs have been added / updated (for bug fixes / features)

@JonasWanke JonasWanke added the T: Build Type: Build & CI label Nov 21, 2024
@JonasWanke JonasWanke self-assigned this Nov 21, 2024
@jwbot jwbot enabled auto-merge November 21, 2024 22:40
@JonasWanke JonasWanke changed the title Use CI only for new compiler Update CI for new compiler Nov 21, 2024
@jwbot jwbot merged commit 1cde164 into main Nov 28, 2024
9 checks passed
@jwbot jwbot deleted the update-ci branch November 28, 2024 18:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

T: Build Type: Build & CI

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

4 participants