add lecture 23 after class · fpvandoorn/LeanCourse25@e69922d

Triggered via push January 15, 2026 11:43

fpvandoorn

master

Status Success

Total duration 40m 6s

Artifacts 1

push.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	31.5 MB	`sha256:fee7c303be206766740e230a732e6786e68e9204099308bc570b1a42d17bc487`