8000 GitHub macOS 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

GitHub macOS 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 GitHub macOS CI #15: Commit 9f39252 pushed by yforster
March 12, 2025 13:21 16d 3h 12m 55s no-commutative-cut-subterm
no-commutative-cut-subterm
March 12, 2025 13:21 16d 3h 12m 55s
0