gap-infra / integration

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

State / what needs to be done? #14

Open fingolfin opened 2 years ago

fingolfin commented 2 years ago

What is the state of this now? What still needs to be done?

FriedrichRober commented 2 years ago

Yes, Lucas and I are working on better status overview, although finalization depends on our triggers and whether the configuration (docker, test all, etc.) is static or dependent on trigger.

I also do not know how we can trigger jobs from other repositories in gap-infra?

fingolfin commented 2 years ago

@FriedrichRober what kind of jobs do you want to trigger and why?

I think they added some capabilities to do this some time ago, maybe workflow_call can do it, or another of the event types listed there. @wilfwilson might also know more ;-)

fingolfin commented 2 years ago

See also https://docs.github.com/en/actions/using-workflows/reusing-workflows

FriedrichRober commented 2 years ago

I summarized the current state and plans for status overview in the respective draft pull request #17.

I want to call workflows in this repo from other repos. For example I want to run tests if we add a certain comment for a pull request in the gap repository as it is done in Julia and probably let a bot leave a comment once the tests are finished. But I haven't done anything into this direction yet.

wilfwilson commented 2 years ago

Sorry I haven't got round to responding to this. I will respond and create some issues when I have time again.