diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-12-31 21:41:01 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2018-12-31 21:41:01 +0000 |
| commit | 3749858199155259c055e1e5621b20ffffd70712 (patch) | |
| tree | 31ccdb6dd0a97c5f6c6a64dd495600df8c2efcb2 /src | |
| parent | e1bb80e8139475f30db541e49d4efb12a6dd8a6e (diff) | |
| parent | 593922fb60b41c7c59f2601e32f445c09fb2bcb7 (diff) | |
| download | nix-3749858199155259c055e1e5621b20ffffd70712.zip | |
Merge #1003
1003: Switch FreeBSD CI builds from BuildBot to cirrus-ci.com r=asomers a=asomers
This change does the following:
1) Adds a CI build on cirrus-ci.com
2) Switches FreeBSD's CI from a jail to a full VM
3) Switches FreeBSD i386's CI from a 32-bit jail to simply using a
cross-compiled binary on a 64-bit VM.
4) Switches FreeBSD i386's CI from using stable rust to 1.24.1 (back
when I added buildbot, rustup didn't support i686-unknown-freebsd)
5) Switches bors to gate on cirrus-ci rather than buildbot
This change does _not_ disable buildbot. That must happen outside of
git.
Fixes #996
Co-authored-by: Alan Somers <asomers@gmail.com>
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions