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
willprice / .travis.yml
Last active Oct 18, 2019
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
before_install:
- sudo apt-get install pandoc
- gem install asciidoctor
script:
- make
after_success:
- .travis/push.sh
env:
@ConstantineLignos
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.
*/
#define NGETRUSAGE
#define NALLSIGNALS
You can’t perform that action at this time.