Skip to content

Markdown: Handle indents when appending or inserting ordered lines #1750

Markdown: Handle indents when appending or inserting ordered lines

Markdown: Handle indents when appending or inserting ordered lines #1750

Triggered via pull request July 9, 2025 11:46
Status Success
Total duration 7m 6s
Artifacts 2

ci.yml

on: pull_request
Matrix: build
Matrix: Flatpak
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
code-aarch64.flatpak Expired
2.72 MB
sha256:ac74312390941d313f80b7e302a3b33fea0b3881dfaed4c4d182bbf8396caa13
code-x86_64.flatpak Expired
2.9 MB
sha256:809de7fc89188ab1187c863ad5ff6bff7370746ed9d4d59bcb1531b8ca73c1b2