CI with GAP.jl · Workflow runs · ptrrsn/gap · GitHub

Actions

All workflows
Workflows
- CI with GAP.jl CI with GAP.jl
- Deploy GAP manual to Pages Deploy GAP manual to Pages
- Lint Lint Disabled
- CI CI Disabled
- Wrap releases Wrap releases Disabled
Management
- Caches

CI with GAP.jl

Actions

Loading...
Loading

1 workflow run

1 workflow run

CI: better support for PRs made from main GAP repository (#6028) CI with GAP.jl #1: Commit 0ccae1a pushed by ptrrsn

7m 30s master

master

7m 30s