Skip to content

Instantly share code, notes, and snippets.

Avatar
🚲

Dirk Schumacher dirkschumacher

🚲
View GitHub Profile
@willprice
willprice / .travis.yml
Last active Oct 22, 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
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.