chiark / gitweb /
package/ci: migrate to CircleCI.
authorVladimír Vondruš <mosra@centrum.cz>
Tue, 6 Apr 2021 16:37:19 +0000 (18:37 +0200)
committerVladimír Vondruš <mosra@centrum.cz>
Tue, 6 Apr 2021 18:27:04 +0000 (20:27 +0200)
commit613fe93db8dd227395a133d9462385682a3bd231
tree2a5a8675b52999300a4c334fa0f2bceee1072deb
parent35b6106898c0d1e11c146f9e705f00857d581af2
package/ci: migrate to CircleCI.

Thanks, Travis, for being silent for three months straight. Fuck that
"service".
.circleci/config.yml [new symlink]
.travis.yml [deleted symlink]
CONTRIBUTING.rst
README.rst
doc/build-status.js
package/ci/circleci.yml [new file with mode: 0644]
package/ci/setup-pybind11.sh [deleted file]
package/ci/travis.yml [deleted file]