2020-02-11 21:28:19 +00:00
|
|
|
---
|
2017-11-15 21:58:13 +00:00
|
|
|
sudo: required
|
|
|
|
services: docker
|
|
|
|
|
2020-02-12 18:35:10 +00:00
|
|
|
before_script:
|
|
|
|
- docker run --rm --privileged multiarch/qemu-user-static:register --reset
|
2020-02-14 20:26:33 +00:00
|
|
|
- pip install --user pre-commit
|
2020-02-12 18:35:10 +00:00
|
|
|
|
2017-11-15 21:58:13 +00:00
|
|
|
script:
|
2020-02-14 20:12:07 +00:00
|
|
|
- make check all
|