Publish LaTeX slides

Tiny fixes found while preparing next session of the advanced course #158

Sign in to view logs

Triggered via push October 11, 2023 13:16

sponce

master

Status Success

Total duration 12m 35s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

publish-slides.yml

on: push

Matrix: publish-slides