Skip to content

Web, CI: build the web version publish it to GitHub Pages - #10

Merged
ruevs merged 1 commit into
masterfrom
WebCI
Sep 25, 2026
Merged

ruevs merged 1 commit into
masterfrom
WebCI

Web, CI: build the web version publish it to GitHub Pages

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

Annotations

1 warning and 1 notice
build (ubuntu-latest, Release, clang)
succeeded Sep 25, 2026 in 26s