wucas / integration

A repository for hosting GitHub Actions based GAP-package integration tests

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

GAP-and-packages integration tests

The purpose of this repository is to test various aspects of GAP and its packages.

To some degree, the tests in this repository should help us detect:

  • Has GAP broken a package?
  • Has a package broken GAP?
  • Has one package broken itself or another package? (Somewhat).

The tests of whether GAP has broken itself currently exist in the main gap-system/gap repository.

High-level status dashboard

This is an attempt to replicate a dashboard like the one that existed at https://github.com/gap-system/gap-distribution/blob/master/README.md. We hope to provide much more fine-grained status information, in the longer term.

This also serves as an easy entry to manually dispatch small subsets of these jobs.

Test GAP master GAP stable-4.11 Manual dispatch
GAP test suites gap-master-caller gap-stable-4.11-caller Dispatch gap-tests.yml (TODO)
Released packages pkg-master-caller pkg-stable-4.11-caller Dispatch pkg-tests.yml
Development packages dev-pkg-tests-caller Dispatch dev-pkg-tests.yml

About

A repository for hosting GitHub Actions based GAP-package integration tests


Languages

Language:Shell 60.4%Language:GAP 30.7%Language:Python 8.8%