Skip to content

Actions: EvanWinget/BitLisp

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
232 workflow runs
232 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
Add secp_verify: BIP340 Schnorr verification, divergence D2 CI #32: Pull request #10 reopened by EvanWinget
1m 40s crypto-secp-verify
crypto-secp-verify
1m 40s
Merge pull request #9 from EvanWinget/crypto-sha256 CI #31: Commit 66a5a57 pushed by EvanWinget
45s main
main
45s
Add secp_verify: BIP340 Schnorr verification, divergence D2 CI #30: Pull request #10 synchronize by EvanWinget
1m 43s crypto-secp-verify
crypto-secp-verify
1m 43s
Add secp_verify: BIP340 Schnorr verification, divergence D2 CI #29: Pull request #10 opened by EvanWinget
1m 38s crypto-secp-verify
crypto-secp-verify
1m 38s
Add sha256, the crypto family's intersection operator CI #28: Pull request #9 opened by EvanWinget
54s crypto-sha256
crypto-sha256
54s
Merge pull request #8 from EvanWinget/upstream-parity-audit CI #27: Commit 88fc082 pushed by EvanWinget
55s main
main
55s
Close two upstream parity gaps: the mul accumulator cap and the 0xffff reserved family CI #26: Pull request #8 opened by EvanWinget
56s upstream-parity-audit
upstream-parity-audit
56s
Merge pull request #7 from EvanWinget/bitwise-boolean-families CI #25: Commit 977de08 pushed by EvanWinget
49s main
main
49s
VM: the bitwise and boolean operator families CI #24: Pull request #7 synchronize by EvanWinget
50s bitwise-boolean-families
bitwise-boolean-families
50s
VM: the bitwise and boolean operator families CI #23: Pull request #7 opened by EvanWinget
45s bitwise-boolean-families
bitwise-boolean-families
45s
Merge pull request #6 from EvanWinget/bytes-strings-family CI #22: Commit 52622b5 pushed by EvanWinget
46s main
main
46s
VM: the bytes and strings operator family CI #21: Pull request #6 synchronize by EvanWinget
49s bytes-strings-family
bytes-strings-family
49s
VM: the bytes and strings operator family CI #20: Pull request #6 synchronize by EvanWinget
51s bytes-strings-family
bytes-strings-family
51s
VM: the bytes and strings operator family CI #19: Pull request #6 opened by EvanWinget
55s bytes-strings-family
bytes-strings-family
55s
Merge pull request #5 from EvanWinget/soundness-guard-and-reach CI #18: Commit f99bb10 pushed by EvanWinget
52s main
main
52s
Budget backstop, harness reach, D4 correction, D6 ratification CI #17: Pull request #5 synchronize by EvanWinget
51s soundness-guard-and-reach
soundness-guard-and-reach
51s
Budget backstop, harness reach, D4 correction, D6 ratification CI #16: Pull request #5 synchronize by EvanWinget
52s soundness-guard-and-reach
soundness-guard-and-reach
52s
Budget backstop, harness reach, D4 correction, D6 ratification CI #15: Pull request #5 opened by EvanWinget
58s soundness-guard-and-reach
soundness-guard-and-reach
58s
Merge pull request #4 from EvanWinget/review-hardening CI #14: Commit 039fb2f pushed by EvanWinget
49s main
main
49s
Act on the codebase review: D7, harness reach, corpus strictness CI #13: Pull request #4 reopened by EvanWinget
48s review-hardening
review-hardening
48s
Merge pull request #3 from EvanWinget/tree-ops-family CI #12: Commit 4116819 pushed by EvanWinget
21s main
main
21s
Act on the codebase review: D7, harness reach, corpus strictness CI #11: Pull request #4 synchronize by EvanWinget
50s review-hardening
review-hardening
50s
Act on the codebase review: D7, harness reach, corpus strictness CI #10: Pull request #4 opened by EvanWinget
43s review-hardening
review-hardening
43s
Add the tree ops family and fix apply's budget-check timing CI #9: Pull request #3 synchronize by EvanWinget
21s tree-ops-family
tree-ops-family
21s
Add the tree ops family and fix apply's budget-check timing CI #8: Pull request #3 opened by EvanWinget
24s tree-ops-family
tree-ops-family
24s