Lean Action CI

doc: mention `True.intro`'s alias `trivial` #81

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via push February 12, 2025 01:49

chabulhwi

master

Status Success

Total duration 18s

Artifacts –

lean_action_ci.yml

on: push