Clean up headings #1429

Sign in to view logs

Triggered via pull request January 15, 2024 12:30

JuliaKirschenheuter

synchronize #2249

fix/2248-Clean_up_headings

Status Cancelled

Total duration 4s

Artifacts –

node-when-unrelated.yml

on: pull_request

Annotations

1 error

Node

Canceling since a higher priority waiting request for 'node-fix/2248-Clean_up_headings' exists