Skip to content

Actions: keplertech/kepler-formal

Actions

regress-python

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
regress-python.yml
176 workflow runs
176 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
Bump version to 1.0.0 regress-python #176: Commit b0a37d7 pushed by nanocoh
15m 12s main
main
15m 12s
Bump version to 1.0.0 regress-python #175: Pull request #301 synchronize by nanocoh
35m 58s 1.0.0
1.0.0
35m 58s
Bump version to 1.0.0 regress-python #174: Pull request #301 opened by nanocoh
24m 27s 1.0.0
1.0.0
24m 27s
SEC: keep binary-round pairs whose symbols already have rail partners regress-python #173: Commit 1cf86ef pushed by nanocoh
54m 4s main
main
54m 4s
SEC: keep binary-round pairs whose symbols already have rail partners regress-python #172: Pull request #300 opened by nanocoh
11m 34s sec-dev
sec-dev
11m 34s
Orfs sec opt latch support mem support regress-python #171: Pull request #299 synchronize by nanocoh
9m 45s orfs-sec-opt-latch-support-mem-support
orfs-sec-opt-latch-support-mem-support
9m 45s
Clock domain extraction work regress-python #170: Commit 46113b2 pushed by nanocoh
15m 30s main
main
15m 30s
Sec dev regress-python #169: Pull request #298 synchronize by nanocoh
15m 44s sec-dev
sec-dev
15m 44s
Sec dev regress-python #168: Pull request #298 synchronize by nanocoh
11m 59s sec-dev
sec-dev
11m 59s
Sec dev regress-python #167: Pull request #298 synchronize by nanocoh
15m 23s sec-dev
sec-dev
15m 23s
Sec dev regress-python #166: Pull request #298 synchronize by nanocoh
11m 12s sec-dev
sec-dev
11m 12s
Sec dev regress-python #165: Pull request #298 synchronize by nanocoh
17m 11s sec-dev
sec-dev
17m 11s
Sec dev regress-python #164: Pull request #298 synchronize by nanocoh
16m 2s sec-dev
sec-dev
16m 2s
Sec dev regress-python #163: Pull request #298 synchronize by nanocoh
14m 51s sec-dev
sec-dev
14m 51s
Sec dev regress-python #162: Pull request #298 synchronize by nanocoh
28m 46s sec-dev
sec-dev
28m 46s
Sec dev regress-python #161: Pull request #298 opened by nanocoh
26m 55s sec-dev
sec-dev
26m 55s
update README regress-python #160: Commit ea1a782 pushed by nanocoh
15m 6s main
main
15m 6s
SEC: latch support, relation learning and boundary handling regress-python #159: Commit b242c10 pushed by nanocoh
10m 34s main
main
10m 34s
SEC: latch support, relation learning and boundary handling regress-python #158: Pull request #297 opened by nanocoh
14m 48s sec-dev
sec-dev
14m 48s
Orfs sec opt latch support regress-python #157: Pull request #290 synchronize by nanocoh
12m 31s orfs-sec-opt-latch-support
orfs-sec-opt-latch-support
12m 31s
Orfs sec opt latch support regress-python #156: Pull request #290 synchronize by nanocoh
17m 3s orfs-sec-opt-latch-support
orfs-sec-opt-latch-support
17m 3s
Orfs sec opt latch support regress-python #155: Pull request #290 synchronize by nanocoh
15m 1s orfs-sec-opt-latch-support
orfs-sec-opt-latch-support
15m 1s
Orfs sec opt latch support regress-python #154: Pull request #290 synchronize by nanocoh
15m 38s orfs-sec-opt-latch-support
orfs-sec-opt-latch-support
15m 38s
Orfs sec opt latch support regress-python #153: Pull request #290 synchronize by nanocoh
13m 38s orfs-sec-opt-latch-support
orfs-sec-opt-latch-support
13m 38s
Orfs sec opt latch support regress-python #152: Pull request #290 synchronize by nanocoh
22m 35s orfs-sec-opt-latch-support
orfs-sec-opt-latch-support
22m 35s