Pull resource #709

Triggered via pull request August 2, 2023 16:36

synchronize #430

pull_resource

Status Success

Total duration 7m 47s

Artifacts 1

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

pull_request.yml

on: pull_request

Matrix: Render pdf lecture slides

Produced during runtime

Name	Size
spell-check-results Expired	50 Bytes