Build

Stlc theory #3818

Triggered via pull request June 5, 2025 10:37

jake-87

synchronize #454

jake-87:stlc-theory

Status Success

Total duration 21m 21s

Artifacts 1

build.yml

on: pull_request

1 warning

No push credentials found. Ignoring the 'useDaemon' option.

Produced during runtime

Name	Size	Digest
github-pages Expired	21.2 MB	`sha256:61b28f48dbadd4656fdd6cdd51ae1cf0b5a8d4864b76ae3b0bc405ba43adfe26`