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

TLA CI on Azure Linux #6884

Merged
merged 10 commits into from
Mar 5, 2025
Merged

Conversation

maxtropets
Copy link
Collaborator

@maxtropets maxtropets commented Mar 4, 2025

Some verification jobs run on ubuntu-latest, they remain untouched by this PR.

Those using CCF CI image, now migrate to Azure Linux image.

@maxtropets maxtropets self-assigned this Mar 4, 2025
@maxtropets maxtropets changed the title TLA newer ubuntu TLA CI on Azure Linux Mar 4, 2025
@maxtropets maxtropets added the run-long-verification Run Long Verification jobs label Mar 4, 2025
@maxtropets maxtropets marked this pull request as ready for review March 4, 2025 20:59
@maxtropets maxtropets requested a review from a team as a code owner March 4, 2025 20:59
@maxtropets maxtropets enabled auto-merge March 4, 2025 21:00
@maxtropets maxtropets disabled auto-merge March 4, 2025 21:00
@maxtropets maxtropets added this pull request to the merge queue Mar 5, 2025
Merged via the queue into microsoft:main with commit d157b65 Mar 5, 2025
27 checks passed
@maxtropets maxtropets deleted the f/tla-azure-linux branch March 5, 2025 16:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
run-long-verification Run Long Verification jobs
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants