Skip to content

Prod Deploy - #1507

Merged
dtm2451 merged 3 commits into
productionfrom
master
May 22, 2026
Merged

Prod Deploy#1507
dtm2451 merged 3 commits into
productionfrom
master

Conversation

@dtm2451

@dtm2451 dtm2451 commented May 22, 2026

Copy link
Copy Markdown
Contributor

Gets out a vulcan hotfix (a sidestep of a recently surfaced vulcan bug. Bug affects just a single current vulcan workflow, but will take some time to fix for real. This lets the pipeline return to functional immediately.)

@dtm2451
dtm2451 merged commit d251259 into production May 22, 2026
17 of 18 checks passed
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.

1 participant