Bump rust evaluator to v0.7.0

fd74eaa

Select commit

Loading

Failed to load commit list.

Uh oh!

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

CodeQL on: dynamic 3

Analyze (actions)

Analyze (javascript-typescript)

Analyze (rust)

Examples Dashboard on: pull_request 8

Detect changes

Examples Dashboard by OS (ubuntu-latest)

Examples Dashboard by OS (macos-latest)

Examples Dashboard

Lint Quint on: pull_request 6

Detect changes

Format Check

Generated files up-to-date

Integration Tests on: pull_request 20

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)

Distribution Integration Tests

Lang Integration Tests

Rust Backend Integration Tests

Verification Integration Tests

Test Evaluator on: pull_request 2

Detect changes

Unit Tests

Benchmark on: pull_request 2

Detect changes

Run benchmarks

Lint VSCode Extension on: pull_request 2

Detect changes

Format Check

Test VSCode Extension on: pull_request 10

Detect changes

Unit Tests by OS (ubuntu-latest)

Unit Tests by OS (macos-latest)

Unit Tests

Lint Evaluator on: pull_request 2

Detect changes

Format Check

Clippy

Test Quint on: pull_request 7

Detect changes

Unit Tests by OS (ubuntu-latest)

Unit Tests by OS (macos-latest)

Unit Tests by OS (windows-latest)

Unit Tests

Code scanning results

CodeQL

Bump rust evaluator to v0.7.0

Uh oh!

Select a check to view from the sidebar