Skip to content
GitHub macOS CI

Fix "r <num>" and "r <string>" commands in coqtop Ltac debugger #335

Sign in to view logs

Fix "r <num>" and "r <string>" commands in coqtop Ltac debugger

Fix "r <num>" and "r <string>" commands in coqtop Ltac debugger #335

Triggered via push September 20, 2023 02:59
@jfehrlejfehrle
pushed d5a213d
typed_debug_cmds
Status Success
Total duration 39m 7s
Artifacts –

ci-macos.yml

on: push
macOS
38m 53s
macOS
Fit to window
Zoom out
Zoom in