8000 Windows CI · 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

Windows CI

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 Windows CI #15: Commit 9f39252 pushed by yforster
March 12, 2025 13:21 17s no-commutative-cut-subterm
no-commutative-cut-subterm
March 12, 2025 13:21 17s
0