d-flex flex-column width-full">

Release v0.30.0

bb985ce

Select commit

Loading

Failed to load commit list.

Uh oh!

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

Integration Tests on: pull_request

Detect changes

TXM tests by OS (ubuntu-latest)

TXM tests by OS (macos-latest)

TXM tests by OS (windows-latest)

Examples Dashboard by OS (ubuntu-latest)

Examples Dashboard by OS (macos-latest)

Rust Local Integration Tests by OS (ubuntu-latest)

Rust Local Integration Tests by OS (macos-latest)

TXM tests

Examples Dashboard

Rust Local Integration Tests

Test Evaluator on: pull_request

Detect changes

Unit Tests

Quint on: pull_request

Detect changes

format-check

Unit Tests by OS (ubuntu-latest)

Unit Tests by OS (macos-latest)

Unit Tests by OS (windows-latest)

Generated files up-to-date

Unit Tests

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

Formatting

Clippy

Benchmark on: pull_request

Detect changes

Run benchmarks

Lint VSCode Extension on: pull_request

Detect changes

format-check

release on: push 1

release

wait-for-npm

check-on-arch

upload-binaries

Select a check to view from the sidebar