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

Actions: yforster/coq

Actions

Check conflicts

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1 workflow run
1 workflow run

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

no commutative cut subterm rule Check conflicts #18: Commit 9f39252 pushed by yforster
March 12, 2025 13:21 13s no-commutative-cut-subterm
no-commutative-cut-subterm
March 12, 2025 13:21 13s
0