Skip to content

Обновление CI скрипта (#40) #72

Обновление CI скрипта (#40)

Обновление CI скрипта (#40) #72

Triggered via push October 27, 2024 16:03
Status Success
Total duration 1h 27m 15s
Artifacts 1

main.yml

on: push
Build latest PDF
1h 27m
Build latest PDF
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
FormalLanguageConstrainedReachabilityLectureNotes_21887e0 Expired
1.09 MB