Skip to content

Allow redundant lines in data files to facilitate merging #1645

Allow redundant lines in data files to facilitate merging

Allow redundant lines in data files to facilitate merging #1645

Triggered via pull request November 11, 2024 20:24
Status Success
Total duration 24s
Artifacts

pipeline.yml

on: pull_request
Labels for repertoire changes
14s
Labels for repertoire changes
Proposal document
0s
Proposal document
UTC decision
0s
UTC decision
Draft unless approved
0s
Draft unless approved
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Labels for repertoire changes
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/