trigger ci

f912984

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Lint Quint on: pull_request

Detect changes

Format Check

Generated files up-to-date

Test VSCode Extension on: pull_request 4

Detect changes

Unit Tests by OS (ubuntu-latest)

Unit Tests by OS (macos-latest)

Unit Tests

Lint Evaluator on: pull_request

Detect changes

Format Check

Clippy

Lint VSCode Extension on: pull_request

Detect changes

Format Check

Benchmark on: pull_request

Detect changes

Run benchmarks

Test Quint on: pull_request

Detect changes

Unit Tests by OS (ubuntu-latest)

Unit Tests by OS (macos-latest)

Unit Tests by OS (windows-latest)

Unit Tests

Integration Tests on: pull_request

Detect changes

Lang Integration Tests by OS (ubuntu-latest)

Lang Integration Tests by OS (macos-latest)

Lang Integration Tests by OS (windows-latest)

Rust Backend Integration Tests by OS (ubuntu-latest)

Rust Backend Integration Tests by OS (macos-latest)

Verification Integration Tests by OS (ubuntu-latest)

Verification Integration Tests by OS (macos-latest)

Examples Dashboard by OS (ubuntu-latest)

Examples Dashboard by OS (macos-latest)

Distribution Integration Tests

Lang Integration Tests

Rust Backend Integration Tests

Verification Integration Tests

Examples Dashboard

Test Evaluator on: pull_request

Detect changes

Unit Tests

Select a check to view from the sidebar