Skip to content
Lint

[MISC] Rename bulk_contains -> membership_for #180

Sign in to view logs

[MISC] Rename bulk_contains -> membership_for

[MISC] Rename bulk_contains -> membership_for #180

Triggered via pull request August 29, 2023 07:54
@seqan-actionsseqan-actions
synchronize #55
Status Success
Total duration 48s
Artifacts –

ci_lint.yml

on: pull_request_target
Cancel running Workflows
2s
Cancel running Workflows
Cancel running Workflows
1s
Cancel running Workflows
Cancel running Workflows
0s
Cancel running Workflows
Cancel running Workflows
0s
Cancel running Workflows
Cancel running Workflows
0s
Cancel running Workflows
Cancel running Workflows
1s
Cancel running Workflows
Lint
24s
Lint
Fit to window
Zoom out
Zoom in