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

build: improve make tasks #519

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

build: improve make tasks #519

wants to merge 1 commit into from

Conversation

peaceiris
Copy link
Owner

No description provided.

@github-actions
Copy link
Contributor

github-actions bot commented Apr 27, 2022

@github-actions github-actions bot temporarily deployed to pull request April 27, 2022 21:14 Inactive
@peaceiris peaceiris force-pushed the improve-make-tasks branch from 27e60a5 to dc04b70 Compare May 11, 2022 14:19
@github-actions github-actions bot temporarily deployed to pull request May 11, 2022 14:20 Inactive
@peaceiris peaceiris force-pushed the improve-make-tasks branch from dc04b70 to 7cb31bf Compare May 13, 2022 13:01
@github-actions github-actions bot temporarily deployed to pull request May 13, 2022 13:02 Inactive
@peaceiris peaceiris force-pushed the improve-make-tasks branch from 7cb31bf to 973d938 Compare May 14, 2022 12:28
@github-actions github-actions bot temporarily deployed to pull request May 14, 2022 12:29 Inactive
@peaceiris peaceiris force-pushed the improve-make-tasks branch from 973d938 to b03f31b Compare July 30, 2022 16:07
@github-actions github-actions bot temporarily deployed to pull request July 30, 2022 16:08 Inactive
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