Bump actions/checkout from 5 to 6 · FormalLanguageConstrainedPathQuerying/FormalLanguageConstrainedReachability-LectureNotes@384a7b8

Triggered via pull request November 24, 2025 10:42

opened #51

Status Success

Total duration 3m 13s

Artifacts 1

main.yml

on: pull_request

Produced during runtime

Name	Size	Digest
FormalLanguageConstrainedReachabilityLectureNotes_latest	1.01 MB	`sha256:0796749e143faaca4517c358241cb754af4c97589dff737bbf447b02388a4a1f`