Skip to content

chore: replace generate/select.ml with cppo #33

chore: replace generate/select.ml with cppo

chore: replace generate/select.ml with cppo #33

Triggered via pull request July 21, 2024 03:16
Status Cancelled
Total duration 4m 37s
Artifacts

nix-build.yml

on: pull_request
Matrix: macos-tests
Matrix: Build and test (Ubuntu)
Fit to window
Zoom out
Zoom in

Annotations

13 errors
Build and test (Ubuntu) (5_1)
Process completed with exit code 1.
Build and test (Ubuntu) (4_14)
The job was canceled because "_5_1" failed.
Build and test (Ubuntu) (4_14)
The operation was canceled.
Build and test (Ubuntu) (5_2)
The job was canceled because "_5_1" failed.
Build and test (Ubuntu) (5_2)
The operation was canceled.
Build and test (Ubuntu) (5_0)
The job was canceled because "_5_1" failed.
Build and test (Ubuntu) (5_0)
The operation was canceled.
Build and test (macos-14)
Canceling since a higher priority waiting request for 'Nix Pipeline-refs/pull/2763/merge' exists
Build and test (macos-13)
Canceling since a higher priority waiting request for 'Nix Pipeline-refs/pull/2763/merge' exists
Build and test (macos-13)
Canceling since a higher priority waiting request for 'Nix Pipeline-refs/pull/2763/merge' exists
Build and test (macos-13)
Canceling since a higher priority waiting request for 'Nix Pipeline-refs/pull/2763/merge' exists
Build and test (macos-14)
Canceling since a higher priority waiting request for 'Nix Pipeline-refs/pull/2763/merge' exists
Build and test (macos-14)
Canceling since a higher priority waiting request for 'Nix Pipeline-refs/pull/2763/merge' exists