Skip to content

Merge remote-tracking branch 'github/master' #1284

Merge remote-tracking branch 'github/master'

Merge remote-tracking branch 'github/master' #1284

Triggered via push January 12, 2024 12:02
Status Success
Total duration 14m 31s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ubuntu20.yml

on: push
Fit to window
Zoom out
Zoom in