Skip to content

Actions: jfehrle/coq

Actions

Windows CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
177 workflow runs
177 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Describe info_auto limitations Windows CI #488: Commit 25a24d9 pushed by jfehrle
January 15, 2025 23:14 38m 55s hintdb_doc
hintdb_doc
January 15, 2025 23:14 38m 55s
Describe info_auto limitations Windows CI #487: Commit 0646d6c pushed by jfehrle
January 13, 2025 17:31 1h 2m 32s hintdb_doc
hintdb_doc
January 13, 2025 17:31 1h 2m 32s
Describe info_auto limitations Windows CI #486: Commit 6d68d1c pushed by jfehrle
January 13, 2025 04:55 55m 38s hintdb_doc
hintdb_doc
January 13, 2025 04:55 55m 38s
Describe info_auto limitations Windows CI #485: Commit 2140a8a pushed by jfehrle
January 12, 2025 05:05 6h 0m 24s hintdb_doc
hintdb_doc
January 12, 2025 05:05 6h 0m 24s
Describe info_auto limitations Windows CI #484: Commit 310d9f2 pushed by jfehrle
January 12, 2025 04:59 45m 55s hintdb_doc
hintdb_doc
January 12, 2025 04:59 45m 55s
Describe info_auto limitations Windows CI #483: Commit 90ac0ed pushed by jfehrle
January 12, 2025 04:41 54m 1s hintdb_doc
hintdb_doc
January 12, 2025 04:41 54m 1s
Bump version Windows CI #482: Commit c72872c pushed by jfehrle
November 30, 2024 22:19 50m 26s debug_pl_8_19_tag3
debug_pl_8_19_tag3
November 30, 2024 22:19 50m 26s
Bump version Windows CI #481: Commit c72872c pushed by jfehrle
November 30, 2024 20:36 52m 29s debug_pl_8_19
debug_pl_8_19
November 30, 2024 20:36 52m 29s
Don't enter debugger if no current proof + Interrupt fixes Windows CI #480: Commit 0ebc4cd pushed by jfehrle
November 30, 2024 19:50 31m 3s debug_pl_8_19
debug_pl_8_19
November 30, 2024 19:50 31m 3s
Describe info_auto limitations Windows CI #479: Commit 550b6cf pushed by jfehrle
November 28, 2024 04:08 38m 0s hintdb_doc
hintdb_doc
November 28, 2024 04:08 38m 0s
Reverse bad change to exception in Ltac debugger in #19314 Windows CI #478: Commit 676044c pushed by jfehrle
November 22, 2024 02:18 56m 10s debugger_exn_fix
debugger_exn_fix
November 22, 2024 02:18 56m 10s
Describe info_auto limitations Windows CI #477: Commit 878a08a pushed by jfehrle
November 21, 2024 00:36 58m 30s hintdb_doc
hintdb_doc
November 21, 2024 00:36 58m 30s
Reverse bad change to exception in Ltac debugger in #19314 Windows CI #476: Commit e72c54d pushed by jfehrle
November 20, 2024 22:11 43m 50s debugger_exn_fix
debugger_exn_fix
November 20, 2024 22:11 43m 50s
Reverse bad change to exception in Ltac debugger in #19314 Windows CI #475: Commit 18e7d75 pushed by jfehrle
November 20, 2024 20:51 48m 0s debugger_exn_fix
debugger_exn_fix
November 20, 2024 20:51 48m 0s
Refine Hint Opaque/Transparent doc Windows CI #474: Commit b1323a3 pushed by jfehrle
November 18, 2024 22:34 55m 3s hintdb_doc
hintdb_doc
November 18, 2024 22:34 55m 3s
Refine Hint Opaque/Transparent doc Windows CI #473: Commit 4eaf5eb pushed by jfehrle
November 15, 2024 05:07 1h 0m 47s hintdb_doc
hintdb_doc
November 15, 2024 05:07 1h 0m 47s
Refine Hint Opaque/Transparent doc Windows CI #472: Commit a419ba3 pushed by jfehrle
November 14, 2024 00:03 52m 42s hintdb_doc
hintdb_doc
November 14, 2024 00:03 52m 42s
Show "autoapply" for tc eauto; include dbnames in tactic for info where Windows CI #471: Commit a47c088 pushed by jfehrle
November 10, 2024 19:18 49m 5s tce_autoapply
tce_autoapply
November 10, 2024 19:18 49m 5s
Let users specify a hint name on Hint Extern Windows CI #470: Commit 71f851f pushed by jfehrle
November 10, 2024 19:09 40m 2s hint_extern_name
hint_extern_name
November 10, 2024 19:09 40m 2s
Let users specify a hint name on Hint Extern Windows CI #469: Commit 5a9679b pushed by jfehrle
November 10, 2024 18:07 54m 23s hint_extern_name
hint_extern_name
November 10, 2024 18:07 54m 23s
Show "autoapply" for tc eauto; include dbnames in tactic for info where Windows CI #468: Commit a04df25 pushed by jfehrle
November 10, 2024 17:59 50m 43s tce_autoapply
tce_autoapply
November 10, 2024 17:59 50m 43s
Let users specify a hint name on Hint Extern Windows CI #467: Commit 3138184 pushed by jfehrle
November 10, 2024 05:12 52m 31s hint_extern_name
hint_extern_name
November 10, 2024 05:12 52m 31s
Show "autoapply" for tc eauto; include dbnames in tactic for info where Windows CI #466: Commit a92bd71 pushed by jfehrle
November 10, 2024 05:02 37m 9s hint_extern_name
hint_extern_name
November 10, 2024 05:02 37m 9s
Show "autoapply" for tc eauto; include dbnames in tactic for info where Windows CI #465: Commit 7382865 pushed by jfehrle
November 10, 2024 04:58 36m 22s tce_autoapply
tce_autoapply
November 10, 2024 04:58 36m 22s
Show "autoapply" for tc eauto; include dbnames in tactic for info where Windows CI #464: Commit 5c1692e pushed by jfehrle
November 10, 2024 04:57 54m 58s tce_autoapply
tce_autoapply
November 10, 2024 04:57 54m 58s