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

Add flake usage to README & skip CI on doc changes #37

Merged
merged 2 commits into from
Apr 10, 2023

Conversation

kai-tub
Copy link
Contributor

@kai-tub kai-tub commented Apr 10, 2023

As we talked about in #5, I would like to add a note about the flake usage of the project to make it easier for nix-beginners like myself to see that the project also supports flakes. :)

@kai-tub
Copy link
Contributor Author

kai-tub commented Apr 10, 2023

Ah, sorry, I pushed it to the wrong branch... The PR now also includes a check to ensure the CI is only run if a non-MD file has been changed. I can also undo this commit and do a separate PR if desired :)

@kai-tub kai-tub changed the title Add flake usage to README Add flake usage to README & skip CI on doc changes Apr 10, 2023
Copy link
Member

@zimbatm zimbatm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

thanks!

bors merge

@bors
Copy link

bors bot commented Apr 10, 2023

Configuration problem:
bors.toml: not found

@zimbatm zimbatm merged commit f529f42 into numtide:main Apr 10, 2023
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.

2 participants