Skip to content

Actions: awslabs/s2n-bignum

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,242 workflow runs
1,242 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
ML-DSA x86 AVX2 rej_uniform CORRECT proof CI #1125: Pull request #401 synchronize by jakemas
4h 43m 45s jakemas:jakemas/mldsa-rej-uniform-x86-proof
jakemas:jakemas/mldsa-rej-uniform-x86-proof
4h 43m 45s
ML-DSA x86 AVX2 rej_uniform CORRECT proof CI #1124: Pull request #401 synchronize by jakemas
4h 36m 27s jakemas:jakemas/mldsa-rej-uniform-x86-proof
jakemas:jakemas/mldsa-rej-uniform-x86-proof
4h 36m 27s
ML-DSA x86 AVX2 rej_uniform CORRECT proof CI #1123: Pull request #401 synchronize by jakemas
4h 46m 53s jakemas:jakemas/mldsa-rej-uniform-x86-proof
jakemas:jakemas/mldsa-rej-uniform-x86-proof
4h 46m 53s
ML-DSA x86 AVX2 rej_uniform CORRECT proof CI #1122: Pull request #401 synchronize by jakemas
4h 46m 10s jakemas:jakemas/mldsa-rej-uniform-x86-proof
jakemas:jakemas/mldsa-rej-uniform-x86-proof
4h 46m 10s
Push on main CodeQL #140: by jargh
51s main
main
51s
Prove Q(x) irreducibility and congruence-to-word-equality infrastructure for POLYVAL CI #1121: Pull request #393 synchronize by nebeid
4h 43m 6s nebeid:polyval-irreducibility-pr
nebeid:polyval-irreducibility-pr
4h 43m 6s
Scheduled CodeQL #139: by github-advanced-security AI
55s main
main
55s
Add FIPS 197 AES cipher specification with KATs CI #1120: Pull request #370 synchronize by sgmenda
4h 43m 16s sgmenda:fips197
sgmenda:fips197
4h 43m 16s
Push on main CodeQL #138: by jargh
1m 3s main
main
1m 3s
ML-DSA x86 AVX2 rej_uniform CORRECT proof CI #1119: Pull request #401 synchronize by jakemas
4h 32m 21s jakemas:jakemas/mldsa-rej-uniform-x86-proof
jakemas:jakemas/mldsa-rej-uniform-x86-proof
4h 32m 21s
ML-DSA x86 AVX2 rej_uniform CORRECT proof CI #1118: Pull request #401 synchronize by jakemas
4h 37m 51s jakemas:jakemas/mldsa-rej-uniform-x86-proof
jakemas:jakemas/mldsa-rej-uniform-x86-proof
4h 37m 51s
ML-DSA x86 AVX2 and Aarch64 pointwise_acc_l7 HOL-Light proofs CI #1117: Pull request #373 synchronize by jakemas
4h 38m 20s jakemas:mldsa-pointwise-acc-l7
jakemas:mldsa-pointwise-acc-l7
4h 38m 20s
Push on main CodeQL #137: by jargh
57s main
main
57s
ML-DSA x86 AVX2 and AArch64 pointwise_acc_l5 HOL-Light proofs CI #1116: Pull request #368 synchronize by jakemas
4h 31m 53s jakemas:mldsa-pointwise-acc-l5
jakemas:mldsa-pointwise-acc-l5
4h 31m 53s
Push on main CodeQL #136: by jargh
47s main
main
47s
ML-DSA x86 AVX2 and Aarch64 pointwise_acc_l7 HOL-Light proofs CI #1115: Pull request #373 synchronize by jakemas
4h 38m 16s jakemas:mldsa-pointwise-acc-l7
jakemas:mldsa-pointwise-acc-l7
4h 38m 16s
ML-DSA x86 AVX2 and AArch64 pointwise_acc_l5 HOL-Light proofs CI #1114: Pull request #368 synchronize by jakemas
4h 31m 37s jakemas:mldsa-pointwise-acc-l5
jakemas:mldsa-pointwise-acc-l5
4h 31m 37s
ML-DSA x86 AVX2 and AArch64 pointwise_acc_l4 HOL-Light proofs CI #1113: Pull request #364 synchronize by jakemas
4h 40m 0s jakemas:mldsa-pointwise-acc-l4
jakemas:mldsa-pointwise-acc-l4
4h 40m 0s
Add specification review checklist (Type 3) CI #1112: Pull request #403 opened by nebeid
4h 39m 47s nebeid:type3-spec-review-checklist
nebeid:type3-spec-review-checklist
4h 39m 47s
Use HOL Light's new record library CI #1111: Pull request #391 synchronize by aqjune-aws
4h 34m 59s aqjune-aws:records
aqjune-aws:records
4h 34m 59s
ML-DSA x86 AVX2 rej_uniform CORRECT proof CI #1110: Pull request #401 synchronize by jakemas
4h 34m 58s jakemas:jakemas/mldsa-rej-uniform-x86-proof
jakemas:jakemas/mldsa-rej-uniform-x86-proof
4h 34m 58s
ML-DSA x86 AVX2 rej_uniform CORRECT proof CI #1109: Pull request #401 synchronize by jakemas
4h 34m 10s jakemas:jakemas/mldsa-rej-uniform-x86-proof
jakemas:jakemas/mldsa-rej-uniform-x86-proof
4h 34m 10s
ML-DSA x86 AVX2 rej_uniform CORRECT proof CI #1108: Pull request #401 synchronize by jakemas
4h 33m 21s jakemas:jakemas/mldsa-rej-uniform-x86-proof
jakemas:jakemas/mldsa-rej-uniform-x86-proof
4h 33m 21s
ML-DSA AArch64 HOL-Light proof for mldsa_rej_uniform_eta4 CI #1107: Pull request #402 synchronize by jakemas
3h 44m 49s jakemas:mldsa-rej-uniform-eta4
jakemas:mldsa-rej-uniform-eta4
3h 44m 49s
gcm_gmult_v8 against NIST specs & proofs CI #1106: Pull request #390 synchronize by manastasova
4h 41m 4s manastasova:gcm-gmult-nist-clean
manastasova:gcm-gmult-nist-clean
4h 41m 4s