Skip to content
Book

feat: add file play button #177

Sign in to view logs

feat: add file play button

feat: add file play button #177

Triggered via pull request February 12, 2025 13:47
@SeasawherSeasawher
opened #161
Seasawher:file-play
Status Success
Total duration 3m 18s
Artifacts 1

book.yml

on: pull_request
book
3m 9s
book
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
Metaprogramming in Lean 4
523 KB
sha256:d08445b152dcc61292285e71c67703b11a5f1bea10effd114a0e27051eaba367