Skip to content

Actions: Zubax/kulibin

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
335 workflow runs
335 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Wire WMAN=32 into the verification suite verify-deep #89: Commit 1139e35 pushed by pavel-kirienko
3s dev-transcend
dev-transcend
3s
Wire WMAN=32 into the verification suite verify #246: Commit 1139e35 pushed by pavel-kirienko
44m 52s dev-transcend
dev-transcend
44m 52s
Add WMAN 32 verify-deep #88: Commit acca99e pushed by pavel-kirienko
2s dev-transcend
dev-transcend
2s
Add WMAN 32 verify #245: Commit acca99e pushed by pavel-kirienko
44m 22s dev-transcend
dev-transcend
44m 22s
Add zkf_sincos; cleanups are needed still verify #244: Commit df0249a pushed by pavel-kirienko
44m 43s dev-transcend
dev-transcend
44m 43s
Add zkf_sincos; cleanups are needed still verify-deep #87: Commit df0249a pushed by pavel-kirienko
1s dev-transcend
dev-transcend
1s
Add the multiplier; still WIP, temporarily broken verify #243: Commit b80649b pushed by pavel-kirienko
42m 56s dev-transcend
dev-transcend
42m 56s
Add the multiplier; still WIP, temporarily broken verify-deep #86: Commit b80649b pushed by pavel-kirienko
9s dev-transcend
dev-transcend
9s
sincos WIP: add CORDIC but not the top-level modules yet; the build i… verify-deep #85: Commit e0a87ed pushed by pavel-kirienko
2s dev-transcend
dev-transcend
2s
sincos WIP: add CORDIC but not the top-level modules yet; the build i… verify #242: Commit e0a87ed pushed by pavel-kirienko
45m 15s dev-transcend
dev-transcend
45m 15s
Optimize zkf_round #ci-float verify #241: Commit 8a1dd2f pushed by pavel-kirienko
44m 53s dev-transcend
dev-transcend
44m 53s
Optimize zkf_round #ci-float verify-deep #84: Commit 8a1dd2f pushed by pavel-kirienko
3h 12m 2s dev-transcend
dev-transcend
3h 12m 2s
Fix coverage gate verify-deep #83: Commit dc582ab pushed by pavel-kirienko
3s dev-transcend
dev-transcend
3s
Fix coverage gate verify #240: Commit dc582ab pushed by pavel-kirienko
45m 10s dev-transcend
dev-transcend
45m 10s
Improve the verification suite verify-deep #82: Commit 7988063 pushed by pavel-kirienko
2s dev-transcend
dev-transcend
2s
Improve the verification suite verify #239: Commit 7988063 pushed by pavel-kirienko
40m 7s dev-transcend
dev-transcend
40m 7s
docs verify-deep #81: Commit 36044cb pushed by pavel-kirienko
2s dev-transcend
dev-transcend
2s
docs verify #238: Commit 36044cb pushed by pavel-kirienko
39m 36s dev-transcend
dev-transcend
39m 36s
float: fold transcendental product staging into STAGE_PRODUCT verify-deep #80: Commit e132d04 pushed by pavel-kirienko
1s dev-transcend
dev-transcend
1s
float: fold transcendental product staging into STAGE_PRODUCT verify #237: Commit e132d04 pushed by pavel-kirienko
38m 24s dev-transcend
dev-transcend
38m 24s
_zkf_fixed_to_float accepts runtime exp_offset verify #236: Commit 69c539b pushed by pavel-kirienko
37m 27s dev-transcend
dev-transcend
37m 27s
_zkf_fixed_to_float accepts runtime exp_offset verify-deep #79: Commit 69c539b pushed by pavel-kirienko
2s dev-transcend
dev-transcend
2s
ASSUME_NO_OVERFLOW #ci-float verify #235: Commit 435dc54 pushed by pavel-kirienko
44m 42s dev-transcend
dev-transcend
44m 42s
ASSUME_NO_OVERFLOW #ci-float verify-deep #78: Commit 435dc54 pushed by pavel-kirienko
41m 25s dev-transcend
dev-transcend
41m 25s
Close float deep toggle-coverage gaps #ci-float verify-deep #77: Commit b9eac55 pushed by pavel-kirienko
2h 46m 24s dev-transcend
dev-transcend
2h 46m 24s