Skip to content
General CI Tests

Update the formal verification section in README #1471

Sign in to view logs

Update the formal verification section in README

Update the formal verification section in README #1471

Triggered via pull request May 3, 2024 00:35
@pennyannnpennyannn
synchronize #1570
pennyannn:yppe/update-fv
Status Cancelled
Total duration 7m 44s
Billable time 52m
Artifacts –

actions-ci.yml

on: pull_request
sanity-test-run
3m 41s
sanity-test-run
MSVC-2019
3m 5s
MSVC-2019
MSVC-2022
3m 4s
MSVC-2022
MSVC-SDE-64-bit
3m 4s
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
Fit to window
Zoom out
Zoom in

Annotations

78 errors and 1 warning
clang-13-15-sanity (15, ubuntu-latest, 0)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
clang-13-15-sanity (15, ubuntu-latest, 0)
The operation was canceled.
OpenBSD-x86-64 (7.4)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
OpenBSD-x86-64 (7.4)
The operation was canceled.
OpenBSD-x86-64 (-f, 7.5)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
OpenBSD-x86-64 (-f, 7.5)
The operation was canceled.
OpenBSD-x86-64 (-f, 7.4)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
OpenBSD-x86-64 (-f, 7.4)
The operation was canceled.
clang-13-15-sanity (15, ubuntu-latest, 1)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
clang-13-15-sanity (15, ubuntu-latest, 1)
The operation was canceled.
MSVC-SDE-64-bit
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
MSVC-SDE-64-bit
The operation was canceled.
OpenBSD-x86-64 (7.5)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
gcc-9-13-sanity (13, ubuntu-latest, 0)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
OpenBSD-x86-64 (7.5)
The operation was canceled.
gcc-9-13-sanity (13, ubuntu-latest, 0)
The operation was canceled.
MSVC-2022
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
MSVC-2022
The operation was canceled.
clang-13-15-sanity (13, ubuntu-latest, 1)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
clang-13-15-sanity (13, ubuntu-latest, 1)
The operation was canceled.
MSVC-2019
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
MSVC-2019
The operation was canceled.
clang-10-12-sanity (10, ubuntu-20.04, 1)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
clang-10-12-sanity (10, ubuntu-20.04, 1)
The operation was canceled.
gcc-9-13-sanity (10, ubuntu-latest, 0)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
gcc-9-13-sanity (10, ubuntu-latest, 0)
The operation was canceled.
clang-13-15-sanity (14, ubuntu-latest, 1)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
clang-13-15-sanity (14, ubuntu-latest, 1)
The operation was canceled.
macOS-x86 (macos-14-large)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
macOS-x86 (macos-14-large)
The operation was canceled.
clang-10-12-sanity (11, ubuntu-20.04, 1)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
clang-10-12-sanity (11, ubuntu-20.04, 1)
The operation was canceled.
clang-13-15-sanity (13, ubuntu-latest, 0)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
clang-13-15-sanity (13, ubuntu-latest, 0)
The operation was canceled.
clang-10-12-sanity (10, ubuntu-20.04, 0)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
clang-10-12-sanity (10, ubuntu-20.04, 0)
The operation was canceled.
gcc-9-13-sanity (11, ubuntu-latest, 1)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
gcc-9-13-sanity (11, ubuntu-latest, 1)
The operation was canceled.
gcc-9-13-sanity (10, ubuntu-latest, 1)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
gcc-9-13-sanity (10, ubuntu-latest, 1)
The operation was canceled.
clang-10-12-sanity (11, ubuntu-20.04, 0)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
clang-10-12-sanity (11, ubuntu-20.04, 0)
The operation was canceled.
gcc-9-13-sanity (11, ubuntu-latest, 0)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
gcc-9-13-sanity (11, ubuntu-latest, 0)
The operation was canceled.
macOS-x86 (macos-13-large)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
macOS-x86 (macos-13-large)
The operation was canceled.
macOS-x86-FIPS (macos-14-large)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
macOS-x86-FIPS (macos-14-large)
The operation was canceled.
gcc-9-13-sanity (13, ubuntu-latest, 1)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
gcc-9-13-sanity (13, ubuntu-latest, 1)
The operation was canceled.
gcc-9-13-sanity (12, ubuntu-latest, 1)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
gcc-9-13-sanity (12, ubuntu-latest, 1)
The operation was canceled.
gcc-9-13-sanity (9, ubuntu-latest, 1)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
gcc-9-13-sanity (9, ubuntu-latest, 1)
The operation was canceled.
clang-13-15-sanity (14, ubuntu-latest, 0)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
clang-13-15-sanity (14, ubuntu-latest, 0)
The operation was canceled.
gcc-9-13-sanity (12, ubuntu-latest, 0)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
gcc-9-13-sanity (12, ubuntu-latest, 0)
The operation was canceled.
clang-10-12-sanity (12, ubuntu-20.04, 0)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
clang-10-12-sanity (12, ubuntu-20.04, 0)
The operation was canceled.
gcc-9-13-sanity (9, ubuntu-latest, 0)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
gcc-9-13-sanity (9, ubuntu-latest, 0)
The operation was canceled.
macOS-x86 (macos-12-large)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
macOS-x86 (macos-12-large)
The operation was canceled.
macOS-x86-FIPS (macos-12-large)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
macOS-x86-FIPS (macos-12-large)
The operation was canceled.
clang-10-12-sanity (12, ubuntu-20.04, 1)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
clang-10-12-sanity (12, ubuntu-20.04, 1)
The operation was canceled.
macOS-ARM-FIPS (macos-14-xlarge)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
macOS-ARM-FIPS (macos-14-xlarge)
The operation was canceled.
macOS-x86-FIPS (macos-13-large)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
macOS-x86-FIPS (macos-13-large)
The operation was canceled.
macOS-ARM (macos-14-xlarge)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
macOS-ARM (macos-14-xlarge)
The operation was canceled.
macOS-ARM-FIPS (macos-13-xlarge)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
macOS-ARM-FIPS (macos-13-xlarge)
The operation was canceled.
macOS-ARM (macos-13-xlarge)
Canceling since a higher priority waiting request for 'General CI Tests-1570' exists
macOS-ARM (macos-13-xlarge)
The operation was canceled.
sanity-test-run
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.