Skip to content

Actions: Verified-zkEVM/iris-lean

Actions

PR Summary

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
summary.yml
6 workflow runs
6 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Formalisation of the statements of all Bluebell rules except Program WP rules and Derived WP rules PR Summary #6: Pull request #268 synchronize by Coda-Coda
22s
22s
Formalisation of the statements of all Bluebell rules except Program WP rules and Derived WP rules PR Summary #5: Pull request #268 synchronize by Coda-Coda
17s
17s
Formalisation of the statements of all Bluebell rules except Program WP rules and Derived WP rules PR Summary #4: Pull request #268 synchronize by Coda-Coda
20s
20s
Formalisation of the statements of all Bluebell rules except Program WP rules and Derived WP rules PR Summary #3: Pull request #268 synchronize by Coda-Coda
22s
22s
Formalisation of the statements of all Bluebell rules except Program WP rules and Derived WP rules PR Summary #2: Pull request #268 opened by Coda-Coda
1m 22s
1m 22s
ci: rename style_guide_path to additional_instructions_path PR Summary #1: Pull request #267 opened by alexanderlhicks
1m 18s
1m 18s