Report PR testing status to the lean4 repository

chore: update v4.22.0 release notes page for stable version (#565) #4

Sign in to view logs

Triggered via push August 16, 2025 13:10

joneugster

main

Status Cancelled

Total duration 29s

Artifacts –

pr-testing.yml

on: push

Build site and generate HTML

Annotations

2 errors

Build site and generate HTML

The run was canceled by @joneugster.

Report PR testing status to the lean4 repository

The run was canceled by @joneugster.