Repository navigation

tests

Merge pull request #424 from facebookresearch/cleanup/test-behavior-n… #2084

Sign in to view logs

Triggered via push October 24, 2026 01:52

Deicyde

main

Status Cancelled

Total duration 15m 21s

Artifacts –

tests.yml

on: push

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

2 errors and 7 notices

WebKit dependency explorer regressions

The job has exceeded the maximum execution time of 15m0s

WebKit dependency explorer regressions

The operation was canceled.

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"

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"

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"