Skip to content

Actions: ByteRepair/formal-lib

Actions

CLA Assistant

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cla.yml
13 workflow runs
13 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
Add version support for verifier specs CLA Assistant #13: Pull request #4 closed by Yiannis128
6s
6s
Add version support for verifier specs CLA Assistant #12: Pull request #4 synchronize by Yiannis128
8s
8s
Add version support for verifier specs CLA Assistant #11: Pull request #4 opened by Yiannis128
13s
13s
test: move pytest spec tests into the regression suite CLA Assistant #10: Pull request #3 closed by Yiannis128
6s
6s
test: move pytest spec tests into the regression suite CLA Assistant #9: Pull request #3 opened by Yiannis128
13s
13s
Replace negate_success with success + failure verdict gates CLA Assistant #8: Pull request #2 closed by Yiannis128
9s
9s
Replace negate_success with success + failure verdict gates CLA Assistant #7: Pull request #2 synchronize by Yiannis128
9s
9s
Replace negate_success with success + failure verdict gates CLA Assistant #6: Pull request #2 synchronize by Yiannis128
7s
7s
Replace negate_success with success + failure verdict gates CLA Assistant #5: Pull request #2 opened by Yiannis128
8s
8s
Add Kani verifier backend CLA Assistant #4: Pull request #1 closed by Yiannis128
26s
26s
Add Kani verifier backend CLA Assistant #3: Pull request #1 synchronize by Yiannis128
12s
12s
Add Kani verifier backend CLA Assistant #2: Pull request #1 synchronize by Yiannis128
10s
10s
Add Kani verifier backend CLA Assistant #1: Pull request #1 opened by Yiannis128
10s
10s