Skip to content

Actions: formal-land/rocq-of-noir

Actions

Rocq

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rocq.yml
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update README.md Rocq #25: Commit 859af21 pushed by clarus
7m 11s master
master
7m 11s
Update README.md Rocq #24: Commit fa641d7 pushed by clarus
7m 32s master
master
7m 32s
Merge pull request #10 from formal-land/guillaume-claret@keccak-example Rocq #23: Commit d855a6b pushed by clarus
7m 17s master
master
7m 17s
keccak: add example of translation Rocq #22: Pull request #10 synchronize by clarus
7m 17s guillaume-claret@keccak-example
guillaume-claret@keccak-example
7m 17s
keccak: add example of translation Rocq #21: Pull request #10 synchronize by clarus
7m 7s guillaume-claret@keccak-example
guillaume-claret@keccak-example
7m 7s
keccak: add example of translation Rocq #20: Pull request #10 opened by clarus
6m 56s guillaume-claret@keccak-example
guillaume-claret@keccak-example
6m 56s
Merge pull request #8 from formal-land/guillaume-claret@user-shorter-… Rocq #19: Commit 44ccd09 pushed by clarus
7m 30s master
master
7m 30s
Minimize the indexes in function indexes Rocq #18: Pull request #8 synchronize by clarus
7m 11s guillaume-claret@user-shorter-index-for-generated-names
guillaume-claret@user-shorter-index-for-generated-names
7m 11s
Minimize the indexes in function indexes Rocq #17: Pull request #8 synchronize by clarus
7m 13s guillaume-claret@user-shorter-index-for-generated-names
guillaume-claret@user-shorter-index-for-generated-names
7m 13s
Minimize the indexes in function indexes Rocq #16: Pull request #8 synchronize by clarus
7m 29s guillaume-claret@user-shorter-index-for-generated-names
guillaume-claret@user-shorter-index-for-generated-names
7m 29s
Minimize the indexes in function indexes Rocq #15: Pull request #8 opened by clarus
2m 8s guillaume-claret@user-shorter-index-for-generated-names
guillaume-claret@user-shorter-index-for-generated-names
2m 8s
Merge pull request #7 from formal-land/guillaume-claret@remove-unused… Rocq #14: Commit 2e9584a pushed by clarus
7m 6s master
master
7m 6s
chore: remove unused CI files for us Rocq #13: Pull request #7 synchronize by clarus
7m 10s guillaume-claret@remove-unused-ci-files
guillaume-claret@remove-unused-ci-files
7m 10s
chore: remove unused CI files for us Rocq #12: Pull request #7 opened by clarus
7m 10s guillaume-claret@remove-unused-ci-files
guillaume-claret@remove-unused-ci-files
7m 10s
Merge pull request #6 from formal-land/guillaume-claret@renaming-to-rocq Rocq #11: Commit 3f699f7 pushed by clarus
7m 6s master
master
7m 6s
feat: rename the proof assistant to Rocq Rocq #10: Pull request #6 synchronize by clarus
7m 33s guillaume-claret@renaming-to-rocq
guillaume-claret@renaming-to-rocq
7m 33s
feat: rename the proof assistant to Rocq Rocq #9: Pull request #6 synchronize by clarus
7m 15s guillaume-claret@renaming-to-rocq
guillaume-claret@renaming-to-rocq
7m 15s
feat: rename the proof assistant to Rocq Rocq #8: Pull request #6 synchronize by clarus
7m 23s guillaume-claret@renaming-to-rocq
guillaume-claret@renaming-to-rocq
7m 23s
feat: rename the proof assistant to Rocq Rocq #7: Pull request #6 synchronize by clarus
7m 10s guillaume-claret@renaming-to-rocq
guillaume-claret@renaming-to-rocq
7m 10s
feat: rename the proof assistant to Rocq Rocq #6: Pull request #6 synchronize by clarus
7m 13s guillaume-claret@renaming-to-rocq
guillaume-claret@renaming-to-rocq
7m 13s
feat: rename the proof assistant to Rocq Rocq #5: Pull request #6 synchronize by clarus
7m 12s guillaume-claret@renaming-to-rocq
guillaume-claret@renaming-to-rocq
7m 12s
feat: rename the proof assistant to Rocq Rocq #4: Pull request #6 synchronize by clarus
7m 21s guillaume-claret@renaming-to-rocq
guillaume-claret@renaming-to-rocq
7m 21s
feat: rename the proof assistant to Rocq Rocq #3: Pull request #6 synchronize by clarus
7m 14s guillaume-claret@renaming-to-rocq
guillaume-claret@renaming-to-rocq
7m 14s
feat: rename the proof assistant to Rocq Rocq #2: Pull request #6 synchronize by clarus
2m 28s guillaume-claret@renaming-to-rocq
guillaume-claret@renaming-to-rocq
2m 28s
feat: rename the proof assistant to Rocq Rocq #1: Pull request #6 opened by clarus
2m 12s guillaume-claret@renaming-to-rocq
guillaume-claret@renaming-to-rocq
2m 12s