Skip to content

Actions: coq-community/reduction-effects

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix syntax Docker CI #8: Commit 2e65901 pushed by liyishuai
October 30, 2024 13:24 2m 38s master
master
October 30, 2024 13:24 2m 38s
Adapt to coq/coq#19362 (reduction effects take locality) Docker CI #7: Commit 5fda463 pushed by ppedrot
July 17, 2024 17:15 2m 22s master
master
July 17, 2024 17:15 2m 22s
Adapt to coq/coq#19362 (reduction effects take locality) Docker CI #6: Pull request #22 opened by SkySkimmer
July 12, 2024 11:12 2m 14s SkySkimmer:obj-with-locality
SkySkimmer:obj-with-locality
July 12, 2024 11:12 2m 14s