Skip to content

Actions: formal-land/rocq-of-noir

Actions

Pull Request

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pull-request-title.yml
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

keccak: add example of translation Pull Request #55: Pull request #10 synchronize by clarus
10s
10s
keccak: add example of translation Pull Request #54: Pull request #10 synchronize by clarus
9s
9s
keccak: add example of translation Pull Request #53: Pull request #10 opened by clarus
12s
12s
Minimize the indexes in function indexes Pull Request #52: Pull request #8 edited by clarus
9s
9s
Minimize the indexes in function indexes Pull Request #51: Pull request #8 synchronize by clarus
9s
9s
Minimize the indexes in function indexes Pull Request #50: Pull request #8 synchronize by clarus
9s
9s
Minimize the indexes in function indexes Pull Request #49: Pull request #8 synchronize by clarus
9s
9s
Minimize the indexes in function indexes Pull Request #48: Pull request #8 edited by clarus
12s
12s
Minimize the indexes in function indexes Pull Request #47: Pull request #8 opened by clarus
12s
12s
chore: remove unused CI files for us Pull Request #46: Pull request #7 edited by clarus
11s
11s
chore: remove unused CI files for us Pull Request #45: Pull request #7 synchronize by clarus
13s
13s
chore: remove unused CI files for us Pull Request #44: Pull request #7 edited by clarus
12s
12s
chore: remove unused CI files for us Pull Request #43: Pull request #7 edited by clarus
11s
11s
chore: remove unused CI files for us Pull Request #42: Pull request #7 opened by clarus
14s
14s
feat: rename the proof assistant to Rocq Pull Request #41: Pull request #6 synchronize by clarus
13s
13s
feat: rename the proof assistant to Rocq Pull Request #40: Pull request #6 synchronize by clarus
16s
16s
feat: rename the proof assistant to Rocq Pull Request #39: Pull request #6 synchronize by clarus
13s
13s
feat: rename the proof assistant to Rocq Pull Request #38: Pull request #6 synchronize by clarus
13s
13s
feat: rename the proof assistant to Rocq Pull Request #37: Pull request #6 synchronize by clarus
11s
11s
feat: rename the proof assistant to Rocq Pull Request #36: Pull request #6 synchronize by clarus
9s
9s
feat: rename the proof assistant to Rocq Pull Request #35: Pull request #6 synchronize by clarus
13s
13s
feat: rename the proof assistant to Rocq Pull Request #34: Pull request #6 edited by clarus
14s
14s
feat: rename the proof assistant to Rocq Pull Request #33: Pull request #6 synchronize by clarus
13s
13s
feat: rename the proof assistant to Rocq Pull Request #32: Pull request #6 synchronize by clarus
12s
12s
feat: rename the proof assistant to Rocq Pull Request #31: Pull request #6 opened by clarus
17s
17s