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

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 Check conflicts #1143: Commit a92bd71 pushed by jfehrle
November 10, 2024 05:02 12s hint_extern_name
hint_extern_name
November 10, 2024 05:02 12s
Show "autoapply" for tc eauto; include dbnames in tactic for info where Check conflicts #1142: Commit 7382865 pushed by jfehrle
November 10, 2024 04:58 11s tce_autoapply
tce_autoapply
November 10, 2024 04:58 11s
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 GitHub macOS CI #492: Commit 7382865 pushed by jfehrle
November 10, 2024 04:58 31m 26s tce_autoapply
tce_autoapply
November 10, 2024 04:58 31m 26s
Show "autoapply" for tc eauto; include dbnames in tactic for info where GitHub macOS CI #491: Commit 5c1692e pushed by jfehrle
November 10, 2024 04:57 30m 34s tce_autoapply
tce_autoapply
November 10, 2024 04:57 30m 34s
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 Check conflicts #1141: Commit 5c1692e pushed by jfehrle
November 10, 2024 04:57 15s tce_autoapply
tce_autoapply
November 10, 2024 04:57 15s
Show "autoapply" for tc eauto; include dbnames in tactic for info where Check conflicts #1140: Commit b6a167a pushed by jfehrle
November 10, 2024 04:41 12s tce_autoapply
tce_autoapply
November 10, 2024 04:41 12s
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
Show "autoapply" for tc eauto; include dbnames in tactic for info where GitHub macOS CI #490: Commit b6a167a pushed by jfehrle
November 10, 2024 04:41 33m 10s tce_autoapply
tce_autoapply
November 10, 2024 04:41 33m 10s
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
Revert "Show "autoapply" for tc eauto; include dbnames in tactic for … Check conflicts #1139: Commit 7011717 pushed by jfehrle
November 10, 2024 04:35 10s tce_autoapply
tce_autoapply
November 10, 2024 04:35 10s
Revert "Show "autoapply" for tc eauto; include dbnames in tactic for … GitHub macOS CI #489: Commit 7011717 pushed by jfehrle
November 10, 2024 04:35 29m 0s tce_autoapply
tce_autoapply
November 10, 2024 04:35 29m 0s
Refine Hint Opaque/Transparent doc Check conflicts #1138: Commit a4a06ab pushed by jfehrle
November 9, 2024 05:13 11s hintdb_doc
hintdb_doc
November 9, 2024 05:13 11s
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
Refine Hint Opaque/Transparent doc GitHub macOS CI #488: Commit a4a06ab pushed by jfehrle
November 9, 2024 05:13 30m 37s hintdb_doc
hintdb_doc
November 9, 2024 05:13 30m 37s
Remove "dfs eauto", deprecated in 8.16 Check conflicts #1137: Commit 47a211d pushed by jfehrle
November 7, 2024 19:58 11s remove_dfs_eauto
remove_dfs_eauto
November 7, 2024 19:58 11s
Remove "dfs eauto", deprecated in 8.16 GitHub macOS CI #487: Commit 47a211d pushed by jfehrle
November 7, 2024 19:58 36m 42s remove_dfs_eauto
remove_dfs_eauto
November 7, 2024 19:58 36m 42s
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 Check conflicts #1136: Commit 93afc4c pushed by jfehrle
November 7, 2024 19:51 10s remove_dfs_eauto
remove_dfs_eauto
November 7, 2024 19:51 10s
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 GitHub macOS CI #486: Commit 93afc4c pushed by jfehrle
November 7, 2024 19:51 35m 27s remove_dfs_eauto
remove_dfs_eauto
November 7, 2024 19:51 35m 27s
Merge PR #19809: Reduce most artifacts expire_in to 1 week GitHub macOS CI #485: Commit 7d4fe6a pushed by jfehrle
November 7, 2024 19:50 32m 31s remove_dfs_eauto
remove_dfs_eauto
November 7, 2024 19:50 32m 31s
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