Generate docs/examples

feat(langs): add Idris language #1807

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Re-run triggered November 8, 2023 23:16

domenkozar

#867

running-grass:main

Status Success

Total duration 2m 17s

Artifacts –

generate.yml

on: pull_request