Skip to content

[Bugfix:Developer] Change Image for Vagrant Jobs#12279

Merged
bmcutler merged 4 commits intomainfrom
github-box
Dec 15, 2025
Merged

[Bugfix:Developer] Change Image for Vagrant Jobs#12279
bmcutler merged 4 commits intomainfrom
github-box

Conversation

@IDzyre
Copy link
Copy Markdown
Member

@IDzyre IDzyre commented Dec 10, 2025

Why is this Change Important & Necessary?

Related to #12163
Github has retired the macos-13 intel images, and has macos-15-intel images that is a temporary solution until x86 infrastructure is no longer supported by github actions.

What is the New Behavior?

The jobs that were using the macos-13 image are now using the macos-15-intel image.

What steps should a reviewer take to reproduce or test the bug or new feature?

See that the jobs run now Vagrant Up and Save Vagrant Box

Other information

It would be good to change from using x86 based boxes to arm boxes (especially now that they (might) support virtualbox), as they will have longer term support.

@github-project-automation github-project-automation bot moved this to Seeking Reviewer in Submitty Development Dec 10, 2025
@automateprojectmangement automateprojectmangement bot moved this from Seeking Reviewer to Work in Progress in Submitty Development Dec 10, 2025
@codecov
Copy link
Copy Markdown

codecov bot commented Dec 10, 2025

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 21.69%. Comparing base (9ce63f0) to head (eb6959d).
⚠️ Report is 14 commits behind head on main.

Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff            @@
##               main   #12279   +/-   ##
=========================================
  Coverage     21.69%   21.69%           
  Complexity     9617     9617           
=========================================
  Files           268      268           
  Lines         36113    36113           
  Branches        478      478           
=========================================
  Hits           7835     7835           
  Misses        27804    27804           
  Partials        474      474           
Flag Coverage Δ
autograder 21.39% <ø> (ø)
js 2.07% <ø> (ø)
migrator 100.00% <ø> (ø)
php 20.69% <ø> (ø)
python_submitty_utils 80.08% <ø> (ø)
submitty_daemon_jobs 90.72% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
  • 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

@IDzyre IDzyre marked this pull request as ready for review December 10, 2025 23:07
@automateprojectmangement automateprojectmangement bot moved this from Work in Progress to Seeking Reviewer in Submitty Development Dec 10, 2025
@IDzyre IDzyre changed the title [Bugfix:Developer] Change Github box for vm [Bugfix:Developer] Change Image for Vagrant Jobs Dec 10, 2025
@williamschen23
Copy link
Copy Markdown
Contributor

@github-project-automation github-project-automation bot moved this from Seeking Reviewer to Awaiting Maintainer Review in Submitty Development Dec 15, 2025
@bmcutler bmcutler merged commit 6e5d06e into main Dec 15, 2025
31 of 32 checks passed
@bmcutler bmcutler deleted the github-box branch December 15, 2025 16:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

3 participants