Skip to content

Actions: jfehrle/coq

Actions

Windows CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
175 workflow runs
175 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Show "autoapply" for tc eauto; include dbnames in tactic for info where Windows CI #463: Commit b6a167a pushed by jfehrle
November 10, 2024 04:41 36m 39s tce_autoapply
tce_autoapply
November 10, 2024 04:41 36m 39s
Revert "Show "autoapply" for tc eauto; include dbnames in tactic for … Windows CI #462: Commit 7011717 pushed by jfehrle
November 10, 2024 04:35 37m 32s tce_autoapply
tce_autoapply
November 10, 2024 04:35 37m 32s
Refine Hint Opaque/Transparent doc Windows CI #461: Commit a4a06ab pushed by jfehrle
November 9, 2024 05:13 51m 47s hintdb_doc
hintdb_doc
November 9, 2024 05:13 51m 47s
Remove "dfs eauto", deprecated in 8.16 Windows CI #460: Commit 47a211d pushed by jfehrle
November 7, 2024 19:58 38m 55s remove_dfs_eauto
remove_dfs_eauto
November 7, 2024 19:58 38m 55s
Merge PR #19809: Reduce most artifacts expire_in to 1 week Windows CI #459: Commit 93afc4c pushed by jfehrle
November 7, 2024 19:51 1h 1m 41s remove_dfs_eauto
remove_dfs_eauto
November 7, 2024 19:51 1h 1m 41s
Merge PR #19809: Reduce most artifacts expire_in to 1 week Windows CI #458: Commit 7d4fe6a pushed by jfehrle
November 7, 2024 19:50 38m 47s remove_dfs_eauto
remove_dfs_eauto
November 7, 2024 19:50 38m 47s
Refine Hint Opaque/Transparent doc Windows CI #457: Commit abe902c pushed by jfehrle
November 7, 2024 19:46 42m 44s hintdb_doc
hintdb_doc
November 7, 2024 19:46 42m 44s
Format info_eauto the same way Windows CI #456: Commit b273df9 pushed by jfehrle
November 6, 2024 20:46 30m 42s auto_info_output
auto_info_output
November 6, 2024 20:46 30m 42s
Refine Hint Opaque/Transparent doc Windows CI #455: Commit 4c8fa50 pushed by jfehrle
November 5, 2024 04:04 40m 2s hintdb_doc
hintdb_doc
November 5, 2024 04:04 40m 2s
Refine Hint Opaque/Transparent doc Windows CI #454: Commit dab2676 pushed by jfehrle
November 4, 2024 21:15 58m 50s hintdb_doc
hintdb_doc
November 4, 2024 21:15 58m 50s
Refine Hint Opaque/Transparent doc Windows CI #453: Commit 29c2287 pushed by jfehrle
October 31, 2024 19:37 1h 3m 5s hintdb_doc
hintdb_doc
October 31, 2024 19:37 1h 3m 5s
Refine Hint Opaque/Transparent doc Windows CI #452: Commit 8432805 pushed by jfehrle
October 30, 2024 00:23 49m 29s hintdb_doc
hintdb_doc
October 30, 2024 00:23 49m 29s
Refine Hint Opaque/Transparent doc Windows CI #451: Commit 316522d pushed by jfehrle
October 29, 2024 22:55 55m 46s hintdb_doc
hintdb_doc
October 29, 2024 22:55 55m 46s
Clarify that conversion tactics will succeed even if the context doesn't Windows CI #450: Commit 946546a pushed by jfehrle
October 29, 2024 22:46 51m 12s conversion_tacs_nop
conversion_tacs_nop
October 29, 2024 22:46 51m 12s