index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
etc
/
ci
Commit message (
Expand
)
Author
Age
*
[travis] Always display the diff, but don't display _CoqProject
Jason Gross
2018-10-25
*
[travis] Only run git diff on failure
Jason Gross
2018-08-09
*
Add git diff for better debugging of C-file issues
Jason Gross
2018-07-21
*
Die early if we can't create the archive
Jason Gross
2018-03-22
*
Update travis caching script
Jason Gross
2018-03-22
*
Fix an issue where travis was not building quite the right targets
Jason Gross
2018-02-12
*
Work around travis bugs
Jason Gross
2018-01-29
*
Attempt to build travis in stages
Jason Gross
2018-01-16
*
Also build non-specific on smithers
Jason Gross
2017-12-13
*
Add missing file from previous commit
Jason Gross
2017-12-13
*
Print coq version on smithers
Jason Gross
2017-11-04
*
Fix smithers build
Jason Gross
2017-10-31
*
Add nonautogenerated-specific{,-display} targets
Jason Gross
2017-10-23
*
Update smithers script
Jason Gross
2017-10-13
*
Smithers doesn't support -o pipefail
Jason Gross
2017-10-11
*
Add etc/ci/smithers.sh for smithers testing
Jason Gross
2017-10-10
*
Don't let travis kill us in 10 minutes of silence
Jason Gross
2016-11-18