Remove editor mode line from the action properties fixture

c5cd786

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)

Benchmark on: pull_request 2

Detect changes

Run benchmarks

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

Lint Evaluator on: pull_request 2

Detect changes

Format Check

Clippy

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 VSCode Extension on: pull_request 10

Detect changes

Unit Tests by OS (ubuntu-latest)

Unit Tests by OS (macos-latest)

Unit Tests

Lint Quint on: pull_request 6

Detect changes

Format Check

Generated files up-to-date

Lint VSCode Extension on: pull_request 2

Detect changes

Format Check

Examples Dashboard on: pull_request 8

Detect changes

Examples Dashboard by OS (ubuntu-latest)

Examples Dashboard by OS (macos-latest)

Examples Dashboard

Test Evaluator on: pull_request 2

Detect changes

Unit Tests

Code scanning results

CodeQL

Remove editor mode line from the action properties fixture

Uh oh!

Select a check to view from the sidebar