add prelude (#641) #320

Triggered via push October 25, 2024 21:36

dzhou121

main

Status Success

Total duration 2m 29s

Artifacts 1

docs.yml

on: push

1 warning

mode of 'target/doc/.lock' changed from 0600 (rw-------) to 0644 (rw-r--r--)

Produced during runtime

Name	Size
github-pages Expired	5.29 MB