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.

Sign up for GitHub

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

Jump to bottom

build: Rename build_system -> build #306

Merged

kateinoigakukun merged 1 commit into main from pr-495c519369efba3f8e68a3e3eb54b55b28e5c93d

Nov 15, 2023

Member

kateinoigakukun commented Nov 15, 2023 •

edited

Loading

build_system is too verbose


          build: Rename build_system -> build

e029660

kateinoigakukun enabled auto-merge

November 15, 2023 07:25

kateinoigakukun merged commit 4fc94c1 into main

30 checks passed

kateinoigakukun deleted the pr-495c519369efba3f8e68a3e3eb54b55b28e5c93d branch

November 15, 2023 07:45

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet