Skip to content

Merge remote-tracking branch 'origin/main' into footnotes-extension #264

Merge remote-tracking branch 'origin/main' into footnotes-extension

Merge remote-tracking branch 'origin/main' into footnotes-extension #264

Triggered via push September 6, 2024 14:18
Status Success
Total duration 1m 16s
Artifacts

ci.yml

on: push
coverage
51s
coverage
android-compatibility
1m 5s
android-compatibility
Matrix: build
Fit to window
Zoom out
Zoom in