Skip to content

Actions: orithellama/ICPX

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 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
updated roadmap Security Guard #10: Commit d85b0b8 pushed by orithellama
12s main
main
12s
updated roadmap Formal Verification #10: Commit d85b0b8 pushed by orithellama
49s main
main
49s
updated roadmap CI #10: Commit d85b0b8 pushed by orithellama
30s main
main
30s
added roadmap Security Guard #9: Commit 7cfd04d pushed by orithellama
14s main
main
14s
added roadmap Formal Verification #9: Commit 7cfd04d pushed by orithellama
51s main
main
51s
added roadmap CI #9: Commit 7cfd04d pushed by orithellama
30s main
main
30s
updated full paper CI #8: Commit 0a02670 pushed by orithellama
26s main
main
26s
updated full paper Formal Verification #8: Commit 0a02670 pushed by orithellama
49s main
main
49s
updated full paper Security Guard #8: Commit 0a02670 pushed by orithellama
14s main
main
14s
first 2 parts of paper Formal Verification #7: Commit 242955e pushed by orithellama
53s main
main
53s
first 2 parts of paper CI #7: Commit 242955e pushed by orithellama
25s main
main
25s
first 2 parts of paper Security Guard #7: Commit 242955e pushed by orithellama
9s main
main
9s
Added token2022 token support CI #6: Commit 35ad1f0 pushed by orithellama
1m 4s main
main
1m 4s
Added token2022 token support Formal Verification #6: Commit 35ad1f0 pushed by orithellama
1m 12s main
main
1m 12s
Added token2022 token support Security Guard #6: Commit 35ad1f0 pushed by orithellama
12s main
main
12s
fix solana verified build scripts Formal Verification #5: Commit 8abd560 pushed by orithellama
44s main
main
44s
fix solana verified build scripts Security Guard #5: Commit 8abd560 pushed by orithellama
12s main
main
12s
fix solana verified build scripts CI #5: Commit 8abd560 pushed by orithellama
26s main
main
26s
added security.txt and formal verifications anchor 0.32 CI #4: Commit 6d371cf pushed by orithellama
56s main
main
56s
added security.txt and formal verifications anchor 0.32 Security Guard #4: Commit 6d371cf pushed by orithellama
13s main
main
13s
added security.txt and formal verifications anchor 0.32 Formal Verification #4: Commit 6d371cf pushed by orithellama
1m 4s main
main
1m 4s
pushed to mainnet Security Guard #3: Commit 49af1e9 pushed by orithellama
14s main
main
14s
pushed to mainnet Formal Verification #3: Commit 49af1e9 pushed by orithellama
40s main
main
40s
pushed to mainnet CI #3: Commit 49af1e9 pushed by orithellama
20s main
main
20s
updated kani verification with more tests CI #2: Commit 19bd49f pushed by orithellama
39s main
main
39s