Summary
Jobs
Base
Nix
Extended
Compiler tests (gcc-11, aarch64, -Os)
Compiler tests (gcc-13, aarch64, -Os)
Compiler tests (gcc-14, aarch64, -Os)
Compiler tests (clang-18, aarch64, -Os)
Compiler tests (clang-19, aarch64, -Os)
Compiler tests (clang-20, aarch64, -Os)
Compiler tests (clang-21, aarch64, -Os)
Compiler tests (gcc-4.8, x86_64, -Os)
Compiler tests (gcc-4.9, x86_64, -Os)
Compiler tests (gcc-7, x86_64, -Os)
Compiler tests (gcc-11, x86_64, -Os)
Compiler tests (gcc-13, x86_64, -Os)
Compiler tests (gcc-14, x86_64, -Os)
Compiler tests (clang-18, x86_64, -Os)
Compiler tests (clang-19, x86_64, -Os)
Compiler tests (clang-20, x86_64, -Os)
Compiler tests (clang-21, x86_64, -Os)
Compiler tests (gcc-11, macos, -Os)
Compiler tests (gcc-13, macos, -Os)
Compiler tests (gcc-14, macos, -Os)
Compiler tests (clang-18, macos, -Os)
Compiler tests (clang-19, macos, -Os)
Compiler tests (clang-20, macos, -Os)
Compiler tests (clang-21, macos, -Os)
Compiler tests (gcc-11, aarch64, -O3)
Compiler tests (gcc-13, aarch64, -O3)
Compiler tests (gcc-14, aarch64, -O3)
Compiler tests (clang-18, aarch64, -O3)
Compiler tests (clang-19, aarch64, -O3)
Compiler tests (clang-20, aarch64, -O3)
Compiler tests (clang-21, aarch64, -O3)
Compiler tests (gcc-4.8, x86_64, -O3)
Compiler tests (gcc-4.9, x86_64, -O3)
Compiler tests (gcc-7, x86_64, -O3)
Compiler tests (gcc-11, x86_64, -O3)
Compiler tests (gcc-13, x86_64, -O3)
Compiler tests (gcc-14, x86_64, -O3)
Compiler tests (clang-18, x86_64, -O3)
Compiler tests (clang-19, x86_64, -O3)
Compiler tests (clang-20, x86_64, -O3)
Compiler tests (clang-21, x86_64, -O3)
Compiler tests (gcc-11, macos, -O3)
Compiler tests (gcc-13, macos, -O3)
Compiler tests (gcc-14, macos, -O3)
Compiler tests (clang-18, macos, -O3)
Compiler tests (clang-19, macos, -O3)
Compiler tests (clang-20, macos, -O3)
Compiler tests (clang-21, macos, -O3)
CBMC
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Copyright (c) The mlkem-native project authors
# Copyright (c) The slhdsa-c project authors
# SPDX-License-Identifier: Apache-2.0 OR ISC OR MIT
name: CI
permissions:
contents: read
on:
workflow_dispatch:
push:
branches: ["main"]
pull_request:
branches: ["main"]
types: [ "opened", "synchronize" ]
jobs:
base:
name: Base
permissions:
contents: 'read'
id-token: 'write'
uses: ./.github/workflows/base.yml
secrets: inherit
nix:
name: Nix
permissions:
actions: 'write'
contents: 'read'
id-token: 'write'
uses: ./.github/workflows/nix.yml
secrets: inherit
ci:
name: Extended
permissions:
contents: 'read'
id-token: 'write'
needs: [ base, nix ]
uses: ./.github/workflows/ci.yml
secrets: inherit
cbmc:
name: CBMC
permissions:
contents: 'read'
id-token: 'write'
needs: [ base, nix ]
uses: ./.github/workflows/cbmc.yml
secrets: inherit
You can’t perform that action at this time.