search

gap-infra / integration

A repository for hosting GitHub Actions based GAP-package integration tests
1 stars 4 forks source link

Don't test packages without a TestFile #12

Closed fingolfin closed 2 years ago

fingolfin commented 2 years ago

Also rewrite the code to obtain the list of package names

fingolfin commented 2 years ago

Works now: https://github.com/fingolfin/integration/runs/5317990981?check_suite_focus=true