| #
4bf6973e |
|
30-Jun-2018 |
Thomas Tuerk <thomas@tuerk-brechen.de> |
Travis: clean up build-sequence
remove examples/set-theory/hol_sets from
developers/travis/more_examples_seq. In commit
f3086187d77669a0f3ca0422159c9b04585f0f84 this example moved to
src/pred_set/src/more_theories. The remaining entry in more_examples_seq
resulted in failing travis tests.
|
| #
afed2152 |
|
17-Jul-2020 |
Michael Norrish <michael.norrish@data61.csiro.au> |
Adjust Travis build sequences in line with 95c3c2105fb
Basically, this removes src/coalgebras from the truncated sequences.
|
| #
e53c040a |
|
30-Jan-2019 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Build sequences must have src/finite_maps before src/integer
|
| #
b433c68c |
|
30-Jan-2019 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Remove src/patricia from developers/travis/more_examples_seq
|
| #
efd9f5d6 |
|
30-Jan-2019 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Further tweak Travis's build sequence files
|
| #
59e1857d |
|
30-Jun-2018 |
Thomas Tuerk <thomas@tuerk-brechen.de> |
Travis: clean up build-sequence
remove examples/set-theory/hol_sets from
developers/travis/more_examples_seq. In commit
f3086187d77669a0f3ca0422159c9b04585f0f84 this example moved to
src/pred_set/src/more_theories. The remaining entry in more_examples_seq
resulted in failing travis tests.
|
| #
d3a78b99 |
|
01-Nov-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Replace refs to src/llist with src/coalgebras in Travis build seqs
|
| #
696b5f66 |
|
06-Apr-2017 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Add examples/imperative to a Travis build sequence
|
| #
df422661 |
|
24-Nov-2013 |
Michael Norrish <michael.norrish@nicta.com.au> |
Travis: try to capture some more examples in our automatic builds
|