Skip to content

Improve CI#8

Merged
waywardmonkeys merged 3 commits into
linebender:mainfrom
waywardmonkeys:improve-ci
Jul 7, 2023
Merged

Improve CI#8
waywardmonkeys merged 3 commits into
linebender:mainfrom
waywardmonkeys:improve-ci

Conversation

@waywardmonkeys

Copy link
Copy Markdown
Collaborator

`actions-rs` actions have been unmaintained for years and produce
warnings when used as they trigger deprecation notices about
functionality that GitHub will be removing.
`actions-rs` actions have been unmaintained for years and produce
warnings when used as they trigger deprecation notices about
functionality that GitHub will be removing.

@xStrom xStrom left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@waywardmonkeys waywardmonkeys merged commit b4a78eb into linebender:main Jul 7, 2023
@waywardmonkeys waywardmonkeys deleted the improve-ci branch July 7, 2023 17:40
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.

2 participants