Repository navigation

tests

Restore the rules #458's doc cut dropped or blurred #2250

Sign in to view logs

Triggered via pull request October 25, 2026 05:57

Deicyde

opened #470

docs/458-audit-fixes

Status Success

Total duration 19m 54s

Artifacts –

tests.yml

on: pull_request

WebKit dependency explorer regressions

MathJax read-back cards (Node)

real Lean (fixture toolchain)

real Lean skeleton suite (fixture toolchain)

real REPL (fixture toolchain)

Windows inspection, subprocess, and publication hardening

Matrix: test

Annotations

7 notices

MathJax read-back cards (Node)

"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"

real REPL (fixture toolchain)

"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"

WebKit dependency explorer regressions

"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"

test (3.13)

"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"

test (3.10)

"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"

real Lean (fixture toolchain)

"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"

real Lean skeleton suite (fixture toolchain)

"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"