Build the project and deploy to GitHub Pages

Merge branch 'main' of github.com:amarmaduke/lean-stlc #23

Sign in to view logs

Triggered via push May 13, 2026 16:52

JasonAlanVeenendaal

main

Status Failure

Total duration 42s

Artifacts –

build-and-deploy.yml

on: push

Annotations

2 errors

Process completed with exit code 1.

lake build failed