Skip to content
Pipeline

Make the invariant relating Cased to Case_Ignorable more maintainable #766

Sign in to view logs

Make the invariant relating Cased to Case_Ignorable more maintainable

Make the invariant relating Cased to Case_Ignorable more maintainable #766

Triggered via pull request May 23, 2024 12:11
@eggrobineggrobin
labeled #831
eggrobin:no-caseOverlap
Status Success
Total duration 28s
Artifacts –

pipeline.yml

on: pull_request
Labels for repertoire changes
19s
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
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.