gap-infra / integration

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

Generate and push report #17

Open FriedrichRober opened 2 years ago

FriedrichRober commented 2 years ago

:exclamation: Before merge, we need to create a data and gh-pages branch. :exclamation:

Current Procedure:

Missing Features: