8000 Workflow runs · radrow/coq · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: radrow/coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
210 workflow runs
210 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add ltac2 type for term conversions (Red.t) and make reduction tacs… Check conflicts #46: Commit c990ada pushed by radrow
May 12, 2025 10:48 14s radrow/gh-20482-reductions
radrow/gh-20482-reductions
May 12, 2025 10:48 14s
Stale PRs Stale PRs #25: Scheduled
May 12, 2025 03:07 3s master
master
May 12, 2025 03:07 3s
Stale PRs Stale PRs #24: Scheduled
May 9, 2025 03:04 2s master
master
May 9, 2025 03:04 2s
Add conversion_strategy ltac2 type and make reduction tacs use it Windows CI #44: Commit 471d6ab pushed by radrow
May 8, 2025 08:10 1h 3m 43s radrow/gh-20482-reductions
radrow/gh-20482-reductions
May 8, 2025 08:10 1h 3m 43s
Add conversion_strategy ltac2 type and make reduction tacs use it GitHub macOS CI #45: Commit 471d6ab pushed by radrow
May 8, 2025 08:10 27m 29s radrow/gh-20482-reductions
radrow/gh-20482-reductions
May 8, 2025 08:10 27m 29s
Add conversion_strategy ltac2 type and make reduction tacs use it Check conflicts #45: Commit 471d6ab pushed by radrow
May 8, 2025 08:10 15s radrow/gh-20482-reductions
radrow/gh-20482-reductions
May 8, 2025 08:10 15s
Rename reduce_in -> eval_in; reduce_constr -> eval Windows CI #43: Commit 6e7ceb3 pushed by radrow
May 8, 2025 08:07 50m 40s radrow/gh-20482-reductions
radrow/gh-20482-reductions
May 8, 2025 08:07 50m 40s
Rename reduce_in -> eval_in; reduce_constr -> eval Check conflicts #44: Commit 6e7ceb3 pushed by radrow
May 8, 2025 08:07 19s radrow/gh-20482-reductions
radrow/gh-20482-reductions
May 8, 2025 08:07 19s
Rename reduce_in -> eval_in; reduce_constr -> eval GitHub macOS CI #44: Commit 6e7ceb3 pushed by radrow
May 8, 2025 08:07 28m 15s radrow/gh-20482-reductions
radrow/gh-20482-reductions
May 8, 2025 08:07 28m 15s
Stale PRs Stale PRs #23: Scheduled
May 8, 2025 03:05 3s master
master
May 8, 2025 03:05 3s
Fix broken FAQ link in the wiki GitHub macOS CI #43: Commit d09570d pushed by radrow
May 7, 2025 11:19 19m 27s patch-2
patch-2
May 7, 2025 11:19 19m 27s
Fix broken FAQ link in the wiki Check conflicts #43: Commit d09570d pushed by radrow
May 7, 2025 11:19 15s patch-2
patch-2
May 7, 2025 11:19 15s
Rename reduce_in -> eval_in; reduce_constr -> eval Check conflicts #42: Commit 5234228 pushed by radrow
May 7, 2025 11:09 13s radrow/gh-20482-reductions
radrow/gh-20482-reductions
May 7, 2025 11:09 13s
Rename reduce_in -> eval_in; reduce_constr -> eval Windows CI #42: Commit 5234228 pushed by radrow
May 7, 2025 11:09 1h 0m 8s radrow/gh-20482-reductions
radrow/gh-20482-reductions
May 7, 2025 11:09 1h 0m 8s
Rename reduce_in -> eval_in; reduce_constr -> eval GitHub macOS CI #42: Commit 5234228 pushed by radrow
May 7, 2025 11:09 21m 30s radrow/gh-20482-reductions
radrow/gh-20482-reductions
May 7, 2025 11:09 21m 30s
Stale PRs Stale PRs #22: Scheduled
May 7, 2025 03:03 3s master
master
May 7, 2025 03:03 3s
Stale PRs Stale PRs #21: Scheduled
May 6, 2025 03:02 3s master
master
May 6, 2025 03:02 3s
Stale PRs Stale PRs #20: Scheduled
May 5, 2025 03:06 2s master
master
May 5, 2025 03:06 2s
Rename reduction to conversion_strategy in Std.v, remove it from Init.v GitHub macOS CI #41: Commit 0f1f26b pushed by radrow
May 2, 2025 13:46 20m 8s radrow/gh-20482-reductions
radrow/gh-20482-reductions
May 2, 2025 13:46 20m 8s
Rename reduction to conversion_strategy in Std.v, remove it from Init.v Windows CI #41: Commit 0f1f26b pushed by radrow
May 2, 2025 13:46 1h 6m 23s radrow/gh-20482-reductions
radrow/gh-20482-reductions
May 2, 2025 13:46 1h 6m 23s
Rename reduction to conversion_strategy in Std.v, remove it from Init.v Check conflicts #41: Commit 0f1f26b pushed by radrow
May 2, 2025 13:46 15s radrow/gh-20482-reductions
radrow/gh-20482-reductions
May 2, 2025 13:46 15s
Stale PRs Stale PRs #19: Scheduled
May 2, 2025 03:01 2s master
master
May 2, 2025 03:01 2s
Stale PRs Stale PRs #18: Scheduled
May 1, 2025 03:09 2s master
master
May 1, 2025 03:09 2s
Stale PRs Stale PRs #17: Scheduled
April 30, 2025 03:00 3s master
master
April 30, 2025 03:00 3s
Update changelog Windows CI #40: Commit 2cca890 pushed by radrow
April 29, 2025 16:10 1h 6m 15s radrow/gh-20482-rewrite_strat
radrow/gh-20482-rewrite_strat
April 29, 2025 16:10 1h 6m 15s
0