Skip to content

Actions: formosa-crypto/formosa-mlkem

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
602 workflow runs
602 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'wait_for_new_keccak' of github.com:formosa-crypto/formo… Check Constant-Time Security #223: Commit 9b32cec pushed by bacelar
December 19, 2024 01:13 1m 0s wait_for_new_keccak
wait_for_new_keccak
December 19, 2024 01:13 1m 0s
Merge branch 'wait_for_new_keccak' of github.com:formosa-crypto/formo… Extract & Check proofs #192: Commit 9b32cec pushed by bacelar
December 19, 2024 01:13 1m 13s wait_for_new_keccak
wait_for_new_keccak
December 19, 2024 01:13 1m 13s
pending Check Constant-Time Security #222: Commit 2c80d37 pushed by mbbarbosa
December 18, 2024 09:36 1m 4s wait_for_new_keccak
wait_for_new_keccak
December 18, 2024 09:36 1m 4s
pending Extract & Check proofs #191: Commit 2c80d37 pushed by mbbarbosa
December 18, 2024 09:36 1m 14s wait_for_new_keccak
wait_for_new_keccak
December 18, 2024 09:36 1m 14s
fix specs Check Constant-Time Security #221: Commit c60282f pushed by bacelar
December 17, 2024 17:24 1m 4s wait_for_new_keccak
wait_for_new_keccak
December 17, 2024 17:24 1m 4s
fix specs Extract & Check proofs #190: Commit c60282f pushed by bacelar
December 17, 2024 17:24 1m 19s wait_for_new_keccak
wait_for_new_keccak
December 17, 2024 17:24 1m 19s
stack KEM level done Extract & Check proofs #189: Commit a805644 pushed by mbbarbosa
December 11, 2024 20:46 1m 16s wait_for_new_keccak
wait_for_new_keccak
December 11, 2024 20:46 1m 16s
stack KEM level done Check Constant-Time Security #220: Commit a805644 pushed by mbbarbosa
December 11, 2024 20:46 58s wait_for_new_keccak
wait_for_new_keccak
December 11, 2024 20:46 58s
pending Extract & Check proofs #188: Commit 54e7069 pushed by mbbarbosa
December 11, 2024 17:59 3m 9s wait_for_new_keccak
wait_for_new_keccak
December 11, 2024 17:59 3m 9s
pending Check Constant-Time Security #219: Commit 54e7069 pushed by mbbarbosa
December 11, 2024 17:59 1m 2s wait_for_new_keccak
wait_for_new_keccak
December 11, 2024 17:59 1m 2s
recovered proof; only shake related admits remaning Check Constant-Time Security #218: Commit 32207bb pushed by mbbarbosa
December 7, 2024 20:40 57s wait_for_new_keccak
wait_for_new_keccak
December 7, 2024 20:40 57s
recovered proof; only shake related admits remaning Extract & Check proofs #187: Commit 32207bb pushed by mbbarbosa
December 7, 2024 20:40 13s wait_for_new_keccak
wait_for_new_keccak
December 7, 2024 20:40 13s
correctness claim for stack variant Check Constant-Time Security #217: Commit 715d3b4 pushed by mbbarbosa
December 6, 2024 16:39 56s wait_for_new_keccak
wait_for_new_keccak
December 6, 2024 16:39 56s
correctness claim for stack variant Extract & Check proofs #186: Commit 715d3b4 pushed by mbbarbosa
December 6, 2024 16:39 12s wait_for_new_keccak
wait_for_new_keccak
December 6, 2024 16:39 12s
extraction Extract & Check proofs #185: Commit e56e947 pushed by mbbarbosa
December 6, 2024 15:04 20s wait_for_new_keccak
wait_for_new_keccak
December 6, 2024 15:04 20s
extraction Check Constant-Time Security #216: Commit e56e947 pushed by mbbarbosa
December 6, 2024 15:04 57s wait_for_new_keccak
wait_for_new_keccak
December 6, 2024 15:04 57s
avx2 stack extraction Extract & Check proofs #184: Commit 5e0e60b pushed by mbbarbosa
December 6, 2024 15:02 14s wait_for_new_keccak
wait_for_new_keccak
December 6, 2024 15:02 14s
avx2 stack extraction Check Constant-Time Security #215: Commit 5e0e60b pushed by mbbarbosa
December 6, 2024 15:02 1m 4s wait_for_new_keccak
wait_for_new_keccak
December 6, 2024 15:02 1m 4s
cleanup Check Constant-Time Security #214: Commit 6a88649 pushed by mbbarbosa
December 6, 2024 15:01 1m 6s wait_for_new_keccak
wait_for_new_keccak
December 6, 2024 15:01 1m 6s
cleanup Extract & Check proofs #183: Commit 6a88649 pushed by mbbarbosa
December 6, 2024 15:01 20s wait_for_new_keccak
wait_for_new_keccak
December 6, 2024 15:01 20s
stack variant Check Constant-Time Security #213: Commit 4eee56d pushed by mbbarbosa
December 6, 2024 14:41 1m 2s wait_for_new_keccak
wait_for_new_keccak
December 6, 2024 14:41 1m 2s
stack variant Extract & Check proofs #182: Commit 4eee56d pushed by mbbarbosa
December 6, 2024 14:41 16s wait_for_new_keccak
wait_for_new_keccak
December 6, 2024 14:41 16s
cleanup done; domain separation done Check Constant-Time Security #212: Commit dfb40c5 pushed by mbbarbosa
December 6, 2024 13:21 58s wait_for_new_keccak
wait_for_new_keccak
December 6, 2024 13:21 58s
cleanup done; domain separation done Extract & Check proofs #181: Commit dfb40c5 pushed by mbbarbosa
December 6, 2024 13:21 20s wait_for_new_keccak
wait_for_new_keccak
December 6, 2024 13:21 20s
spurious instruction Check Constant-Time Security #211: Commit 3e7394e pushed by mbbarbosa
December 4, 2024 13:44 1m 2s wait_for_new_keccak
wait_for_new_keccak
December 4, 2024 13:44 1m 2s