Romain Naour
13a0129b0a
support/testing: use larger runner to reduce the CI minute consumed per pipeline
...
Based on the first pipeline result [1], use larger runner for the
following tests:
tests.fs.test_oci.TestOci.test_run (01:08:15)
saas-linux-small-amd64 -> saas-linux-xlarge-amd64
tests.package.test_dpdk.TestDPDK.test_run (01:08:36)
saas-linux-small-amd64 -> saas-linux-xlarge-amd64
tests.package.test_z3.TestZ3.test_run (01:11:41)
saas-linux-small-amd64 -> saas-linux-xlarge-amd64
tests.package.test_octave.TestOctave.test_run (01:21:57)
saas-linux-small-amd64 -> saas-linux-xlarge-amd64
tests.package.test_podman.TestPodmanSlirpNftables.test_run (01:21:15)
saas-linux-small-amd64 -> saas-linux-xlarge-amd64
tests.package.test_podman.TestPodmanSlirpIptables.test_run (01:21:25)
saas-linux-small-amd64 -> saas-linux-xlarge-amd64
tests.package.test_mariadb.TestMariaDB.test_run (01:26:15)
saas-linux-small-amd64 -> saas-linux-xlarge-amd64
tests.package.test_podman.TestPodmanIptables.test_run (01:28:51)
saas-linux-small-amd64 -> saas-linux-xlarge-amd64
tests.package.test_podman.TestPodmanTini.test_run (01:29:08)
saas-linux-small-amd64 -> saas-linux-xlarge-amd64
tests.package.test_podman.TestPodmanNftables.test_run (01:41:26)
saas-linux-small-amd64 -> saas-linux-xlarge-amd64
tests.package.test_weston.TestWeston.test_run (01:26:17)
saas-linux-large-amd64 -> saas-linux-2xlarge-amd64
tests.package.test_python_pyqt5.TestPythonPyQt5.test_run (01:41:33)
saas-linux-large-amd64 -> saas-linux-2xlarge-amd64
tests.package.test_nodejs.TestNodeJSModuleHostBin.test_run (01:21:06)
saas-linux-large-amd64 -> saas-linux-2xlarge-amd64
tests.package.test_flutter.TestFlutter.test_run (01:03:05)
saas-linux-xlarge-amd64 -> saas-linux-2xlarge-amd64
For tests long that already use 2xlarge runner tag, we may have to run
them on Gitlab runners owned by the Buildroot project.
[1] https://gitlab.com/buildroot.org/buildroot/-/pipelines/2562421098
Signed-off-by: Romain Naour <romain.naour@smile.fr>
Signed-off-by: Arnout Vandecappelle <arnout@rnout.be>
2026-05-30 22:26:15 +02:00
Romain Naour
a9ad8ae22a
support/testing: TestZ3: use base configuration
...
The base configuration now provide a glibc toolchain,
we can safely switch to it.
Signed-off-by: Romain Naour <romain.naour@gmail.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
2023-07-12 23:22:18 +02:00
Julien Olivain
2ad68ff8df
package/z3: new package
...
Z3, also known as the Z3 Theorem Prover, is a cross-platform
satisfiability modulo theories (SMT) solver.
https://github.com/Z3Prover/z3
Signed-off-by: Julien Olivain <ju.o@free.fr>
[yann.morin.1998@free.fr:
- python bindings 'depends on' python, not 'select' it
- fix check-package in test_z3.py
]
Signed-off-by: Yann E. MORIN <yann.morin.1998@free.fr>
2022-11-20 14:54:58 +01:00
