Fix concurrent downloads of the Apalache distribution

ddc86e4

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)

Test Evaluator on: pull_request 2

Detect changes

Unit Tests

Examples Dashboard on: pull_request 8

Detect changes

Examples Dashboard by OS (ubuntu-latest)

Examples Dashboard by OS (macos-latest)

Examples Dashboard

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

Benchmark on: pull_request 2

Detect changes

Run benchmarks

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

Lint Evaluator on: pull_request 2

Detect changes

Format Check

Clippy

Lint Quint on: pull_request 6

Detect changes

Format Check

Generated files up-to-date

Test VSCode Extension on: pull_request 10

Detect changes

Unit Tests by OS (ubuntu-latest)

Unit Tests by OS (macos-latest)

Unit Tests

Lint VSCode Extension on: pull_request 2

Detect changes

Format Check

Code scanning results

CodeQL

Fix concurrent downloads of the Apalache distribution

Uh oh!

Select a check to view from the sidebar