Skip to content

Actions: Alizter/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge PR #19542: Fix all uses of instantiate_context Check conflicts #730: Commit 48db236 pushed by Alizter
September 13, 2024 21:09 13s master
master
September 13, 2024 21:09 13s
Merge PR #19542: Fix all uses of instantiate_context GitHub macOS CI #482: Commit 48db236 pushed by Alizter
September 13, 2024 21:09 32m 10s master
master
September 13, 2024 21:09 32m 10s
Merge PR #19542: Fix all uses of instantiate_context Windows CI #413: Commit 48db236 pushed by Alizter
September 13, 2024 21:09 44m 20s master
master
September 13, 2024 21:09 44m 20s
Merge PR #18795: Towards a more uniform API for declare.ml (part decl… GitHub macOS CI #481: Commit 7e92c03 pushed by Alizter
May 28, 2024 21:29 30m 33s master
master
May 28, 2024 21:29 30m 33s
Merge PR #18795: Towards a more uniform API for declare.ml (part decl… Windows CI #412: Commit 7e92c03 pushed by Alizter
May 28, 2024 21:29 1h 9m 35s master
master
May 28, 2024 21:29 1h 9m 35s
Merge PR #18795: Towards a more uniform API for declare.ml (part decl… Check conflicts #729: Commit 7e92c03 pushed by Alizter
May 28, 2024 21:29 13s master
master
May 28, 2024 21:29 13s
Merge PR #18909: Slightly tweak the interpretation of using clause fo… Check conflicts #728: Commit 4335e49 pushed by Alizter
May 2, 2024 12:43 16s master
master
May 2, 2024 12:43 16s
Merge PR #18909: Slightly tweak the interpretation of using clause fo… Windows CI #411: Commit 4335e49 pushed by Alizter
May 2, 2024 12:43 55m 14s master
master
May 2, 2024 12:43 55m 14s
Merge PR #18909: Slightly tweak the interpretation of using clause fo… GitHub macOS CI #480: Commit 4335e49 pushed by Alizter
May 2, 2024 12:43 43m 59s master
master
May 2, 2024 12:43 43m 59s
Merge PR #18640: Revert "Stop doing early universe minimization and n… Windows CI #410: Commit c3c67fa pushed by Alizter
February 20, 2024 04:35 57m 23s master
master
February 20, 2024 04:35 57m 23s
Merge PR #18640: Revert "Stop doing early universe minimization and n… GitHub macOS CI #479: Commit c3c67fa pushed by Alizter
February 20, 2024 04:35 32m 49s master
master
February 20, 2024 04:35 32m 49s
Merge PR #18640: Revert "Stop doing early universe minimization and n… Check conflicts #727: Commit c3c67fa pushed by Alizter
February 20, 2024 04:35 10s master
master
February 20, 2024 04:35 10s