Skip to content

Instantly share code, notes, and snippets.


Dirk Schumacher dirkschumacher

Block or report user

Report or block dirkschumacher

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
View GitHub Profile
willprice / .travis.yml
Last active Feb 17, 2020
How to set up TravisCI for projects that push back to github
View .travis.yml
# Ruby is our language as asciidoctor is a ruby gem.
lang: ruby
- sudo apt-get install pandoc
- gem install asciidoctor
- make
- .travis/
ConstantineLignos / picosat_additions.h
Last active Mar 12, 2018
Building picosat on Windows.
View picosat_additions.h
/* Turn off features that will not work on Windows.
You can’t perform that action at this time.