Update ci.yml #1388

Closed
Manue1137 wants to merge 1 commit from patch-1 into main
Manue1137 commented 2024-06-05 16:01:10 +02:00 (Migrated from github.com)

Actualizar

Actualizar
marijnh commented 2024-06-05 16:48:04 +02:00 (Migrated from github.com)

Patches for the sake of having a patch are not really welcome in this project.

Patches for the sake of having a patch are not really welcome in this project.

Pull request closed

Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
codemirror/dev!1388
No description provided.