Adapt to coq/coq#19690 (Hint Extern respects default proof mode) #718

Sign in to view logs

Re-run triggered October 19, 2024 12:55

#132

SkySkimmer:ltacX-obligations

Status Success

Total duration 12m 7s

Artifacts –

coq.yml

on: pull_request

Matrix: build