Applied formatting

9fcd727

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Sign in for the full log view

Test Address Sanitizer on: pull_request 2

test (ubuntu-latest)

Benchmark on: pull_request 3

benchmark (ubuntu-latest)

benchmark (macos-latest)

benchmark (windows-latest)

Cargo Deny on: pull_request

cargo-deny

Test on: pull_request 6

test (ubuntu-latest)

test (macos-latest)

test (windows-latest)

Deploy Documentation to Pages on: pull_request 2

build

deploy

Nightly Build on: pull_request 6

test (ubuntu-latest)

test (macos-latest)

test (windows-latest)

Semver Checks on: pull_request 1

semver

Test with MCRL2_PATH on: pull_request 1

test

Test with Loom on: pull_request 1

test

Verify with Kani on: pull_request

kani

Cargo Clippy on: pull_request 31

clippy

Minimal Supported Rust Version on: pull_request 1

test (ubuntu-latest)

Cargo Fmt on: pull_request 2

fmt

Test Miri on: pull_request 9

test (ubuntu-latest)

test (macos-latest)

test (windows-latest)

Test Thread Sanitizer on: pull_request 2

test (ubuntu-latest)

Annotations

1 error and 1 notice

Run tools/mcrl2 tests

Process completed with exit code 1.

Post Setup sccache

99% - 269 hits, 2 misses, 0 errors

test (ubuntu-latest)

failed Aug 10, 2026 in 41m 56s

Loading

Re-running jobs...