diff options
author | Patrick Spek <p.spek@tyil.nl> | 2019-11-02 19:22:39 +0100 |
---|---|---|
committer | Patrick Spek <p.spek@tyil.nl> | 2019-11-02 19:22:39 +0100 |
commit | a38a40c626ba0721589f486d3beed555299690da (patch) | |
tree | fba53d6b53532f0862c24a896e3244cc1d653d9b /dev-bin | |
parent | 9ea39b4d80b278ede426d647b7c2867d1017ac4f (diff) |
Release before testing
This is done for now, since testing takes a very long time (the spectest
lasts almost an hour), but there's new phases that need to debugged
after those as well.
Diffstat (limited to 'dev-bin')
0 files changed, 0 insertions, 0 deletions