Skip to content

deploy_docs: Use ubuntu-latest#63

Merged
joverlee521 merged 1 commit intomainfrom
fix-deploy-docs
Jul 30, 2025
Merged

deploy_docs: Use ubuntu-latest#63
joverlee521 merged 1 commit intomainfrom
fix-deploy-docs

Conversation

@joverlee521
Copy link
Collaborator

Using ubuntu-latest to avoid version bump churn

Resolves #62

Using ubuntu-latest to avoid version bump churn

Resolves #62
@joverlee521 joverlee521 merged commit 6a2fd6b into main Jul 30, 2025
1 check failed
@joverlee521 joverlee521 deleted the fix-deploy-docs branch July 30, 2025 17:44
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.

deploy_docs: workflow queued for >23hrs

2 participants

Comments