Skip to content

Add Makefile, basic CI#4

Merged
stpierre merged 1 commit into
masterfrom
stpierre/better-dev-setup
May 21, 2025
Merged

Add Makefile, basic CI#4
stpierre merged 1 commit into
masterfrom
stpierre/better-dev-setup

Conversation

@stpierre

@stpierre stpierre commented May 21, 2025

Copy link
Copy Markdown
Contributor

Checks that it compiles and passes the linter. Currently, it does not pass lint.

This is definitely just a starting point.

@stpierre stpierre force-pushed the stpierre/better-dev-setup branch 3 times, most recently from 838dd2d to b0b5ce1 Compare May 21, 2025 18:09
@stpierre stpierre marked this pull request as ready for review May 21, 2025 18:10
@stpierre stpierre requested review from maddymanu and nikhilunni May 21, 2025 18:10
Checks that it compiles and passes the linter. Currently, it does *not* pass lint.

This is definitely just a starting point.
@stpierre stpierre force-pushed the stpierre/better-dev-setup branch from b0b5ce1 to a130871 Compare May 21, 2025 18:11
@stpierre stpierre merged commit f3dd899 into master May 21, 2025
1 of 2 checks passed
@stpierre stpierre deleted the stpierre/better-dev-setup branch May 21, 2025 21:11
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