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

chore: Update ci #854

Merged
merged 8 commits into from
Aug 14, 2023
Merged

chore: Update ci #854

merged 8 commits into from
Aug 14, 2023

Conversation

tottoto
Copy link
Contributor

@tottoto tottoto commented May 2, 2023

Updates ci configs.

  • Fixes the yaml indent.
  • Replaces arduino/setup-protoc with taiki-e/install-action as it is unmaintained.
  • Removes git submodule as it seems not to be used.
  • Removes the disabled ci job as it is outdated and seems to be difficult to keep up to date.
  • Refactors ci job step names.
  • Replaces seanmiddleditch/gha-setup-ninja with in-tree action as it is unmaintained.
  • Changes ci name shorter in order to improve readability.

@tottoto tottoto marked this pull request as draft May 2, 2023 23:54
@tottoto tottoto marked this pull request as ready for review May 3, 2023 02:00
@LucioFranco LucioFranco enabled auto-merge (squash) August 14, 2023 15:19
@LucioFranco LucioFranco merged commit 9c877ce into tokio-rs:master Aug 14, 2023
11 checks passed
@tottoto tottoto deleted the update-ci branch August 14, 2023 15:26
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.

None yet

2 participants