downgrade check-clang-format CI job to ubuntu-22.04

7ca5263

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Publish CBMC documentation on: push 1

publish

Build and Test the Rust API on: pull_request

check-ubuntu-22_04-cmake-clang-rust

check-macos-15-intel-cmake-clang-rust

Publish CBMC documentation on: pull_request 1

publish

Performance Benchmarking on: pull_request

perf-benchcomp

Build Doxygen Documentation on: pull_request 2

check-doxygen

Run CSmith on: pull_request

run-10-random-tests

Codecov coverage report on: pull_request 3

Linux

Profiling on: pull_request

profile-pr

profile-develop

Build and Test on *BSD on: pull_request 3

FreeBSD

OpenBSD

NetBSD

Syntactic checks on: pull_request 2

check-clang-format

check-cpplint

check-rustfmt

CodeQL on: pull_request 10

Analyze (cpp)

Analyze (java)

Analyze (javascript)

Analyze (python)

Build Linux partially with CPROVER tools on: pull_request 1

CompileLinux

Build Xen with CPROVER tools on: pull_request

CompileXen

Build and Test CBMC on: pull_request 7

check-ubuntu-24_04-make-gcc

check-ubuntu-24_04-make-clang

check-ubuntu-24_04-make-clang-smt-z3

check-ubuntu-24_04-cmake-gcc

check-ubuntu-22_04-make-clang

check-ubuntu-22_04-cmake-gcc

check-ubuntu-24_04-cmake-gcc-14

check-ubuntu-24_04-arm-cmake-gcc

check-ubuntu-22_04-cmake-gcc-32bit

check-macos-15-intel-make-clang

check-macos-14-cmake-clang

check-vs-2026-cmake-build-and-test

check-vs-2022-make-build-and-test

windows-msi-package

check-string-table

check-docker-image

include-what-you-use

check-ubuntu-24_04-cmake-gcc-KNOWNBUG

check-ubuntu-24_04-cmake-gcc-THOROUGH

Code scanning results

CodeQL

downgrade check-clang-format CI job to ubuntu-22.04

Uh oh!

Select a check to view from the sidebar