Closed eseiler closed 1 month ago
Actual PR: https://github.com/seqan/seqan3/pull/3273
This is a test PR for the infra/preview branch. Because the new action runs on pull_request_target, the infra/preview branch needs to be in seqan/seqan3.
infra/preview
pull_request_target
seqan/seqan3
Deletion on close also works: https://github.com/seqan/seqan3/actions/runs/9995541887
Documentation preview available at https://docs.seqan.de/preview/seqan/seqan3/3272
Actual PR: https://github.com/seqan/seqan3/pull/3273
This is a test PR for the
infra/preview
branch. Because the new action runs onpull_request_target
, theinfra/preview
branch needs to be inseqan/seqan3
.Deletion on close also works: https://github.com/seqan/seqan3/actions/runs/9995541887