d-flex flex-column width-full">

Report the proof state when an error occurs during a proof

b7d9ae2

Select commit

Loading

Failed to load commit list.

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

.github/workflows/ocaml.yml on: pull_request

test_compile (5.4.1)

test_compile (5.3.0)

test_compile (5.2.1)

test_compile (4.14.4)

.github/workflows/vscode.yml on: pull_request 1

vscode (v24.2.0, \@1.101.0, \@3.5.0)

.github/workflows/emacs.yml on: pull_request

test_compile (1.9, 1.2.1, 20250724.2154)

test_compile (1.9, 1.2.1, 20250815.183)

test_compile (1.9, 1.2.1, 0)

test_compile (1.9, 1.3, 20250724.2154)

test_compile (1.9, 1.3, 20250815.183)

test_compile (1.9, 1.3, 0)

test_compile (1.9, 0, 20250724.2154)

test_compile (1.9, 0, 20250815.183)

test_compile (1.9, 0, 0)

test_compile (0, 1.2.1, 20250724.2154)

test_compile (0, 1.2.1, 20250815.183)

test_compile (0, 1.2.1, 0)

test_compile (0, 1.3, 20250724.2154)

test_compile (0, 1.3, 20250815.183)

test_compile (0, 1.3, 0)

test_compile (0, 0, 20250724.2154)

test_compile (0, 0, 20250815.183)

test_compile (0, 0, 0)

.github/workflows/main.yml on: pull_request

test_full (5.5.0)

test_compile (5.4.1)

succeeded Jul 10, 2026 in 4m 32s

Loading