Skip to content
CI

feat: initial succinct vendor target #2

Sign in to view logs

feat: initial succinct vendor target

feat: initial succinct vendor target #2

Triggered via pull request January 24, 2024 00:33
@jtguibasjtguibas
synchronize #1
succinct
Status Cancelled
Total duration 11m 1s
Artifacts –

ci.yml

on: pull_request
Matrix: auto
Matrix: try
master
0s
master
Matrix: pr
bors build finished
0s
bors build finished
bors build finished
0s
bors build finished
bors build finished
0s
bors build finished
bors build finished
0s
bors build finished
Fit to window
Zoom out
Zoom in

Annotations

4 errors
PR - mingw-check
Canceling since a higher priority waiting request for 'CI-refs/pull/1/merge' exists
PR - mingw-check-tidy
Canceling since a higher priority waiting request for 'CI-refs/pull/1/merge' exists
PR - x86_64-gnu-tools
Canceling since a higher priority waiting request for 'CI-refs/pull/1/merge' exists
PR - x86_64-gnu-llvm-16
Canceling since a higher priority waiting request for 'CI-refs/pull/1/merge' exists