Skip to content

Actions: cucapra/protocols

Actions

Protocols Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2,274 workflow runs
2,274 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Assignment Propagation
Protocols Tests #2702: Pull request #271 synchronize by Nikil-Shyamsunder
2m 18s propagaton
Assignment Propagation
Protocols Tests #2700: Pull request #271 synchronize by Nikil-Shyamsunder
2m 37s propagaton
frontend: parse rename module definitions
Protocols Tests #2692: Pull request #272 synchronize by ekiwi
2m 18s rename
address clippy warning
Protocols Tests #2691: Commit defc6b6 pushed by ekiwi
2m 16s rename
clippy fixes
Protocols Tests #2689: Commit a078cb0 pushed by ekiwi
2m 16s rename
frontend: ast struct instead of tuple
Protocols Tests #2688: Commit 66be1af pushed by ekiwi
1m 30s rename
parser: fix merge issues
Protocols Tests #2687: Commit bc762c3 pushed by ekiwi
1m 38s rename
Assignment Propagation
Protocols Tests #2686: Pull request #271 synchronize by Nikil-Shyamsunder
1m 43s propagaton
wip
Protocols Tests #2683: Commit f3b83ec pushed by ekiwi
1m 28s rename