Skip to content

Actions: jfehrle/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
525 workflow runs
525 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Menu Items/Keystrokes to control which goal to display fully Check conflicts #993: Commit be278b3 pushed by jfehrle
October 27, 2023 17:21 11s ltac_2_alpha3_test
ltac_2_alpha3_test
October 27, 2023 17:21 11s
Add Menu Items/Keystrokes to control which goal to display fully Windows CI #316: Commit be278b3 pushed by jfehrle
October 27, 2023 17:21 1h 20m 53s ltac_2_alpha3_test
ltac_2_alpha3_test
October 27, 2023 17:21 1h 20m 53s
Add Menu Items/Keystrokes to control which goal to display fully GitHub macOS CI #342: Commit be278b3 pushed by jfehrle
October 27, 2023 17:05 35m 55s ltac2_alpha3
ltac2_alpha3
October 27, 2023 17:05 35m 55s
Add Menu Items/Keystrokes to control which goal to display fully Windows CI #315: Commit be278b3 pushed by jfehrle
October 27, 2023 17:05 1h 13m 33s ltac2_alpha3
ltac2_alpha3
October 27, 2023 17:05 1h 13m 33s
Add Menu Items/Keystrokes to control which goal to display fully Check conflicts #992: Commit be278b3 pushed by jfehrle
October 27, 2023 17:05 17s ltac2_alpha3
ltac2_alpha3
October 27, 2023 17:05 17s
Add Menu Items/Keystrokes to control which goal to display fully Windows CI #314: Commit 50b1208 pushed by jfehrle
October 26, 2023 19:11 1h 28m 56s ltac2_alpha3
ltac2_alpha3
October 26, 2023 19:11 1h 28m 56s
Add Menu Items/Keystrokes to control which goal to display fully GitHub macOS CI #341: Commit 50b1208 pushed by jfehrle
October 26, 2023 19:11 33m 23s ltac2_alpha3
ltac2_alpha3
October 26, 2023 19:11 33m 23s
Add Menu Items/Keystrokes to control which goal to display fully Check conflicts #991: Commit 50b1208 pushed by jfehrle
October 26, 2023 19:11 15s ltac2_alpha3
ltac2_alpha3
October 26, 2023 19:11 15s
Add Menu Items/Keystrokes to control which goal to display fully Check conflicts #990: Commit ec27e57 pushed by jfehrle
October 21, 2023 23:17 16s ltac2_alpha3
ltac2_alpha3
October 21, 2023 23:17 16s
Add Menu Items/Keystrokes to control which goal to display fully Windows CI #313: Commit ec27e57 pushed by jfehrle
October 21, 2023 23:17 56m 54s ltac2_alpha3
ltac2_alpha3
October 21, 2023 23:17 56m 54s
Add Menu Items/Keystrokes to control which goal to display fully GitHub macOS CI #340: Commit ec27e57 pushed by jfehrle
October 21, 2023 23:17 34m 54s ltac2_alpha3
ltac2_alpha3
October 21, 2023 23:17 34m 54s
Add Menu Items/Keystrokes to control which goal to display fully GitHub macOS CI #339: Commit 4be0053 pushed by jfehrle
October 21, 2023 21:25 33m 38s ltac2_alpha3
ltac2_alpha3
October 21, 2023 21:25 33m 38s
Add Menu Items/Keystrokes to control which goal to display fully Windows CI #312: Commit 4be0053 pushed by jfehrle
October 21, 2023 21:25 57m 33s ltac2_alpha3
ltac2_alpha3
October 21, 2023 21:25 57m 33s
Add Menu Items/Keystrokes to control which goal to display fully Check conflicts #989: Commit 4be0053 pushed by jfehrle
October 21, 2023 21:25 11s ltac2_alpha3
ltac2_alpha3
October 21, 2023 21:25 11s
Support stopping on GTacExt (open_constr, etc.) GitHub macOS CI #338: Commit 6538ebf pushed by jfehrle
September 22, 2023 19:19 32m 44s ltac2_alpha2
ltac2_alpha2
September 22, 2023 19:19 32m 44s
Support stopping on GTacExt (open_constr, etc.) Check conflicts #988: Commit 6538ebf pushed by jfehrle
September 22, 2023 19:19 15s ltac2_alpha2
ltac2_alpha2
September 22, 2023 19:19 15s
Support stopping on GTacExt (open_constr, etc.) Windows CI #311: Commit 6538ebf pushed by jfehrle
September 22, 2023 19:19 56m 2s ltac2_alpha2
ltac2_alpha2
September 22, 2023 19:19 56m 2s
Mention "Locate" output for Definitions, Theorems appears as Constant Windows CI #310: Commit 38d5aec pushed by jfehrle
September 20, 2023 19:47 1h 5m 34s locate_constant
locate_constant
September 20, 2023 19:47 1h 5m 34s
Mention "Locate" output for Definitions, Theorems appears as Constant GitHub macOS CI #337: Commit 38d5aec pushed by jfehrle
September 20, 2023 19:47 38m 38s locate_constant
locate_constant
September 20, 2023 19:47 38m 38s
Mention "Locate" output for Definitions, Theorems appears as Constant Check conflicts #987: Commit 38d5aec pushed by jfehrle
September 20, 2023 19:47 11s locate_constant
locate_constant
September 20, 2023 19:47 11s
Mention "Locate" output for Definitions, Theorems appears as Constant Windows CI #309: Commit 61d92c0 pushed by jfehrle
September 20, 2023 19:37 1h 5m 18s locate_constant
locate_constant
September 20, 2023 19:37 1h 5m 18s
Mention "Locate" output for Definitions, Theorems appears as Constant GitHub macOS CI #336: Commit 61d92c0 pushed by jfehrle
September 20, 2023 19:37 38m 43s locate_constant
locate_constant
September 20, 2023 19:37 38m 43s
Mention "Locate" output for Definitions, Theorems appears as Constant Check conflicts #986: Commit 61d92c0 pushed by jfehrle
September 20, 2023 19:37 12s locate_constant
locate_constant
September 20, 2023 19:37 12s
Fix "r <num>" and "r <string>" commands in coqtop Ltac debugger Windows CI #308: Commit d5a213d pushed by jfehrle
September 20, 2023 02:59 1h 9m 6s typed_debug_cmds
typed_debug_cmds
September 20, 2023 02:59 1h 9m 6s
Fix "r <num>" and "r <string>" commands in coqtop Ltac debugger GitHub macOS CI #335: Commit d5a213d pushed by jfehrle
September 20, 2023 02:59 39m 7s typed_debug_cmds
typed_debug_cmds
September 20, 2023 02:59 39m 7s
ProTip! You can narrow down the results and go further in time using created:<2023-09-20 or the other filters available.