Skip to content

CI: Free disk space before checkout#55

Merged
aoirint merged 1 commit into
mainfrom
aoirint-patch-1
Dec 30, 2024
Merged

CI: Free disk space before checkout#55
aoirint merged 1 commit into
mainfrom
aoirint-patch-1

Conversation

@aoirint

@aoirint aoirint commented Dec 30, 2024

Copy link
Copy Markdown
Owner

リポジトリをcheckoutする前にディスク容量を空けるようにします。リポジトリでディスク容量を使い切ることはないので、どちらでもいいですが、下の実装に合わせます。

@aoirint
aoirint merged commit 81b0257 into main Dec 30, 2024
@aoirint
aoirint deleted the aoirint-patch-1 branch December 30, 2024 12:12
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