Add clause "simplified name" to LRM (#115) #137

Triggered via push October 31, 2024 13:53

phiwuu

main

Status Success

Total duration 3m 57s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	899 KB