Skip to content

Merge remote-tracking branch 'public/master' #203

Merge remote-tracking branch 'public/master'

Merge remote-tracking branch 'public/master' #203

Triggered via push January 14, 2024 00:06
Status Success
Total duration 2m 3s
Artifacts

test-publish.yml

on: push
Matrix: test
Check formatting
55s
Check formatting
Publish handout
44s
Publish handout
Fit to window
Zoom out
Zoom in