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

Fix unnecessary GitHub Actions version specificity, update old actions, and update to modern GitHub Pages deployment #44

Closed
wants to merge 1 commit into from

Conversation

PathogenDavid
Copy link
Member

@PathogenDavid PathogenDavid commented Jan 3, 2025

I am opening this PR as a draft because I was unable to verify the proper operation of the docs and test workflows. This appears to be due to unrelated to these changes, but I wanted to note the issue. (At a glance, some of the problems related to #31 are a likely culprit.)

This PR can probably be safely merged as-is (the affected workflows are only manually run) and these issues can be resolved later, but the GitHub Pages deployment source should probably not be updated until the docs workflow is working again.


Before merging this PR: Go to the GitHub Pages settings for this repo and change the build/deployment source to "GitHub Actions". (This is necessary, but see note above.)


This PR removes unnecessary version specificity for actions used in GitHub Actions workflows in this repository. This reflects best practices and avoids upcoming issues with actions/setup-dotnet, see this issue for details.

While I was at it I migrated the docs workflow to use the modern method for GitHub Pages deployment, and updated other actions as appropriate.

…s, and update to modern GitHub Pages deployment
@PathogenDavid
Copy link
Member Author

Superseded by #47

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