Skip to content

The Pattern-Matching Bug: fix totality information #10814

The Pattern-Matching Bug: fix totality information

The Pattern-Matching Bug: fix totality information #10814

Triggered via pull request May 13, 2024 15:31
Status Failure
Total duration 24m 26s
Artifacts 1

build.yml

on: pull_request
Matrix: others
Matrix: normal
Fit to window
Zoom out
Zoom in

Annotations

9 errors
i386
Process completed with exit code 2.
normal
Process completed with exit code 2.
extra (debug-s4096)
The job was canceled because "normal_normal_texlive-lat" failed.
extra (debug-s4096)
The operation was canceled.
extra (debug)
The job was canceled because "normal_normal_texlive-lat" failed.
extra (debug)
The operation was canceled.
macos-arm64
Process completed with exit code 2.
macos-x86_64
The job was canceled because "macos-arm64_macos-14" failed.
macos-x86_64
The operation was canceled.

Artifacts

Produced during runtime
Name Size
compiler Expired
545 MB