Skip to content
Deploy to GitHub Pages

Merge pull request #313 from lf-lang/deadlines #370

Sign in to view logs

Merge pull request #313 from lf-lang/deadlines

Merge pull request #313 from lf-lang/deadlines #370

Triggered via push August 23, 2025 14:10
@edwardaleeedwardalee
pushed d6d2ee6
main
Status Success
Total duration 2m 53s
Artifacts 1

deploy.yml

on: push
Deploy to GitHub Pages
2m 33s
Deploy to GitHub Pages
deploy
10s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
16.8 MB
sha256:7dc2587a4e61feff58d5529fe163b70b0c9f98b597ffb3210ba5b6cc9b139127