Skip to content

Actions: formosa-crypto/formosa-mlkem

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
606 workflow runs
606 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
spurious instruction Extract & Check proofs #180: Commit 3e7394e pushed by mbbarbosa
December 4, 2024 13:44 20s wait_for_new_keccak
wait_for_new_keccak
December 4, 2024 13:44 20s
cleaning up: Extract & Check proofs #179: Commit 4290e12 pushed by mbbarbosa
December 4, 2024 00:34 14s wait_for_new_keccak
wait_for_new_keccak
December 4, 2024 00:34 14s
cleaning up: Check Constant-Time Security #210: Commit 4290e12 pushed by mbbarbosa
December 4, 2024 00:34 1m 1s wait_for_new_keccak
wait_for_new_keccak
December 4, 2024 00:34 1m 1s
cleaning up Check Constant-Time Security #209: Commit 57c568e pushed by mbbarbosa
December 3, 2024 19:16 58s wait_for_new_keccak
wait_for_new_keccak
December 3, 2024 19:16 58s
cleaning up Extract & Check proofs #178: Commit 57c568e pushed by mbbarbosa
December 3, 2024 19:16 1m 19s wait_for_new_keccak
wait_for_new_keccak
December 3, 2024 19:16 1m 19s
filter48 integrated Extract & Check proofs #177: Commit 2c6d215 pushed by mbbarbosa
December 3, 2024 12:55 1m 13s wait_for_new_keccak
wait_for_new_keccak
December 3, 2024 12:55 1m 13s
filter48 integrated Check Constant-Time Security #208: Commit 2c6d215 pushed by mbbarbosa
December 3, 2024 12:55 1m 2s wait_for_new_keccak
wait_for_new_keccak
December 3, 2024 12:55 1m 2s
filter48 integrated Check Constant-Time Security #207: Commit 2c6d215 pushed by mbbarbosa
December 3, 2024 12:54 58s link_to_bdep_genmatrix
link_to_bdep_genmatrix
December 3, 2024 12:54 58s
filter48 integrated Extract & Check proofs #176: Commit 2c6d215 pushed by mbbarbosa
December 3, 2024 12:54 2m 53s link_to_bdep_genmatrix
link_to_bdep_genmatrix
December 3, 2024 12:54 2m 53s
remove old keccak code stubs Extract & Check proofs #175: Commit 702e85b pushed by bacelar
December 2, 2024 14:52 1m 18s wait_for_new_keccak
wait_for_new_keccak
December 2, 2024 14:52 1m 18s
remove old keccak code stubs Check Constant-Time Security #206: Commit 702e85b pushed by bacelar
December 2, 2024 14:52 1m 2s wait_for_new_keccak
wait_for_new_keccak
December 2, 2024 14:52 1m 2s
add admits to broken proofs Check Constant-Time Security #205: Commit d06f818 pushed by bacelar
December 2, 2024 13:15 1m 4s wait_for_new_keccak
wait_for_new_keccak
December 2, 2024 13:15 1m 4s
add admits to broken proofs Extract & Check proofs #174: Commit d06f818 pushed by bacelar
December 2, 2024 13:15 1m 15s wait_for_new_keccak
wait_for_new_keccak
December 2, 2024 13:15 1m 15s
skeleton for keccak interface Extract & Check proofs #173: Commit 0504dae pushed by bacelar
November 30, 2024 22:22 1m 20s wait_for_new_keccak
wait_for_new_keccak
November 30, 2024 22:22 1m 20s
skeleton for keccak interface Check Constant-Time Security #204: Commit 0504dae pushed by bacelar
November 30, 2024 22:22 58s wait_for_new_keccak
wait_for_new_keccak
November 30, 2024 22:22 58s
speeding things up a bit Check Constant-Time Security #203: Commit b4198d1 pushed by mbbarbosa
November 30, 2024 14:25 1m 2s wait_for_new_keccak
wait_for_new_keccak
November 30, 2024 14:25 1m 2s
speeding things up a bit Extract & Check proofs #172: Commit b4198d1 pushed by mbbarbosa
November 30, 2024 14:25 2m 54s wait_for_new_keccak
wait_for_new_keccak
November 30, 2024 14:25 2m 54s
pending Extract & Check proofs #171: Commit 6b9af15 pushed by mbbarbosa
November 29, 2024 13:21 2m 55s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 29, 2024 13:21 2m 55s
pending Check Constant-Time Security #202: Commit 6b9af15 pushed by mbbarbosa
November 29, 2024 13:21 1m 0s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 29, 2024 13:21 1m 0s
merge Extract & Check proofs #170: Commit 3491684 pushed by mbbarbosa
November 11, 2024 10:22 1m 16s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 11, 2024 10:22 1m 16s
merge Check Constant-Time Security #201: Commit 3491684 pushed by mbbarbosa
November 11, 2024 10:22 1m 6s mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
mlkem768_avx2_gen_matrix_sct_newparse_newcompress10
November 11, 2024 10:22 1m 6s