Skip to content

docs: point build badge to GitHub Actions - #286

Merged
Lysxia merged 1 commit into
DeepSpec:masterfrom
dajiaohuang:docs/current-build-badge-20261016
Oct 18, 2026
Merged

Lysxia merged 1 commit into
DeepSpec:masterfrom
dajiaohuang:docs/current-build-badge-20261016

docs: point build badge to GitHub Actions

4c96bee
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
build (coqorg/coq:8.18)
succeeded Oct 18, 2026 in 4m 32s