Skip to content

Merge remote-tracking branch 'upstream/main' into jabrefonline #421

Merge remote-tracking branch 'upstream/main' into jabrefonline

Merge remote-tracking branch 'upstream/main' into jabrefonline #421

Triggered via push November 4, 2023 16:21
Status Success
Total duration 3m 38s
Artifacts 1

pages.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
5.63 MB