docs

Use structural recursion and rfl (#158) #25

Sign in to view logs

Triggered via push September 20, 2024 21:50

pennyannn

main

Status Success

Total duration 7m 1s

Artifacts –

doc.yml

on: push

Annotations

1 warning

Documentation

Cache save failed.