mirror of
https://github.com/aome510/spotify-player.git
synced 2026-04-26 09:25:49 +03:00
[PR #339] [MERGED] chore: update github actions #722
Labels
No labels
bug
documentation
enhancement
good first issue
help wanted
pull-request
question
third-party
third-party
wontfix
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
starred/spotify-player#722
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/aome510/spotify-player/pull/339
Author: @LucasFA
Created: 1/19/2024
Status: ✅ Merged
Merged: 1/20/2024
Merged by: @aome510
Base:
master← Head:update-ci📝 Commits (2)
d59d2e0ci(deps): Update github actions3885434Add restore-keys, rustc version to CI cachekey📊 Changes
2 files changed (+27 additions, -33 deletions)
View changed files
📝
.github/workflows/ci.yml(+23 -29)📝
.github/workflows/docker.yml(+4 -4)📄 Description
Summary of changes:
I have tested in my own repo the CI and the docker deployment actions.
IMPORTANT NOTES:
Other information: about those warnings in the actions log:
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.