9848f3713e
The issue at https://github.com/ooni/probe/issues/1741 is that running `docker --platform linux/arm64` segfaults when running `sudo apt-get update -q` inside the `arm64` docker environment. As far as the `debianrepo` rule is concerned, we can fix the issue by taking advantage of Debian multi-arch. We now configure Debian multi-arch and install the package inside a `debian:stable` environment. We keep using docker. In principle we could not. But the Ubuntu environment provided by GitHub actions does not support multi-arch for arm. Also, I'd like testing this rule to be possible also locally (where I don't have Debian).
26 lines
338 B
Plaintext
26 lines
338 B
Plaintext
/apitool
|
|
/apitool.exe
|
|
/*.asc
|
|
/coverage.cov
|
|
/*.deb
|
|
/DEBIAN_INSTALLED_PACKAGE.txt
|
|
/debops-ci
|
|
.DS_Store
|
|
/*.jsonl
|
|
/miniooni
|
|
/miniooni.exe
|
|
/oohelper
|
|
/oohelperd
|
|
/oohelperd.exe
|
|
/oohelper.exe
|
|
/ooniprobe
|
|
/ooniprobe_checksums.txt
|
|
/ooniprobe_checksums.txt.asc
|
|
/ooniprobe.exe
|
|
/probe-cli.cov
|
|
/ptxclient
|
|
/ptxclient.exe
|
|
/*.tar.gz
|
|
/testdata/gotmp
|
|
/*.zip
|