Deploy to GitHub Pages

Add note about using lectures as docs #245

Sign in to view logs

Triggered via push March 10, 2026 13:44

main

Status Success

Total duration 1m 16s

Artifacts –

deploy-ghpages.yml

on: push