Skip to content

Rename CI workflow to GitHub Actions lint #1861

Rename CI workflow to GitHub Actions lint

Rename CI workflow to GitHub Actions lint #1861

Triggered via pull request November 12, 2025 06:29
Status Success
Total duration 52s
Artifacts

build.yml

on: pull_request
Matrix: build
Validate JavaDocs
23s
Validate JavaDocs
deploy-snapshot
deploy-snapshot
Fit to window
Zoom out
Zoom in