General CI Tests

Update the formal verification section in README #1472

Sign in to view logs

Triggered via pull request May 3, 2024 00:42

pennyannn

synchronize #1570

pennyannn:yppe/update-fv

Status Cancelled

Total duration 4m 12s

Artifacts –

actions-ci.yml

on: pull_request

sanity-test-run

MSVC-SDE-64-bit

Matrix: clang-10-12-sanity

Matrix: clang-13-15-sanity

Matrix: gcc-9-13-sanity

Matrix: macOS-ARM-FIPS

Matrix: macOS-ARM

Matrix: macOS-x86-FIPS

Matrix: macOS-x86

Matrix: OpenBSD-x86-64

Annotations

2 errors

sanity-test-run

Canceling since a higher priority waiting request for 'General CI Tests-1570' exists

sanity-test-run

The operation was canceled.