Skip to content

Actions: BlockstreamResearch/simplicity-native-multisig

Actions

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tests.yml
24 workflow runs
24 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
permissionless-simplicity-multisig: fix typos and references Tests #24: Commit 94dfdcc pushed by KyrylR
56s main
main
56s
permissionless-simplicity-multisig: fix typos and references Tests #23: Commit 92ac835 pushed by KyrylR
2m 29s main
main
2m 29s
web: ux walkthrough (persistence, truthful Builder gate + progressive… Tests #22: Commit 4123842 pushed by KyrylR
52s main
main
52s
general: fixes after the feedback on paper Tests #21: Commit ecd3ba7 pushed by KyrylR
1m 3s main
main
1m 3s
general: fixes after the feedback on paper Tests #20: Commit f561edf pushed by KyrylR
1m 3s main
main
1m 3s
tex: paper corrections and review Tests #19: Commit 6115eae pushed by KyrylR
2m 40s main
main
2m 40s
finalize the first milestone of formal verification Tests #18: Commit 4bbbfc9 pushed by KyrylR
1m 36s main
main
1m 36s
fix whitepaper compilation in ci Tests #17: Commit 2dc447d pushed by KyrylR
1m 35s main
main
1m 35s
minor code refactoring, add link to pdf Tests #16: Commit abfc7f0 pushed by KyrylR
1m 45s main
main
1m 45s
minor code refactoring, add link to pdf Tests #15: Commit 3800c3c pushed by KyrylR
1m 40s main
main
1m 40s
fix votes discovery, add github io deployment Tests #14: Commit 100747b pushed by KyrylR
2m 36s main
main
2m 36s
pass 2 of formal verification Tests #13: Commit 53f3697 pushed by KyrylR
2m 12s main
main
2m 12s
rename paper folder to represent the actual name Tests #12: Commit 5a22e9f pushed by KyrylR
4m 42s main
main
4m 42s
add draft paper for the multisig Tests #11: Commit e3ddbd7 pushed by KyrylR
2m 32s main
main
2m 32s
add draft paper for the multisig Tests #10: Commit c4160b3 pushed by KyrylR
2m 42s main
main
2m 42s
Fix CI test workflow Tests #9: Commit f905ac5 pushed by KyrylR
2m 33s main
main
2m 33s
started formal verification of the multisig for rocq Tests #8: Commit e70c806 pushed by KyrylR
3m 4s main
main
3m 4s
basic multisig 1 of 3 without nonce check Tests #7: Pull request #1 synchronize by KyrylR
2m 28s dev
dev
2m 28s
basic multisig 1 of 3 without nonce check Tests #6: Pull request #1 synchronize by KyrylR
45s dev
dev
45s
basic multisig 1 of 3 without nonce check Tests #5: Pull request #1 synchronize by KyrylR
1m 13s dev
dev
1m 13s
basic multisig 1 of 3 without nonce check Tests #4: Pull request #1 synchronize by KyrylR
1m 5s dev
dev
1m 5s
basic multisig 1 of 3 without nonce check Tests #3: Pull request #1 synchronize by KyrylR
51s dev
dev
51s
basic multisig 1 of 3 without nonce check Tests #2: Pull request #1 opened by KyrylR
2m 56s dev
dev
2m 56s
general: initial commit Tests #1: Commit 1243692 pushed by KyrylR
4m 24s main
main
4m 24s