Skip to content

Actions: hacl-star/hacl-star

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,849 workflow runs
1,849 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Import NI modules of GHASH from pnmadelaine_aes branch and adds specific proofs Create branch on hacl-packages #799: Pull request #942 synchronize by mamonet
June 25, 2024 16:50 50s
June 25, 2024 16:50 50s
Import NI modules of GHASH from pnmadelaine_aes branch and adds specific proofs Create branch on hacl-packages #798: Pull request #942 synchronize by mamonet
June 24, 2024 10:50 22s
June 24, 2024 10:50 22s
Import NI modules of GHASH from pnmadelaine_aes branch and adds specific proofs Create branch on hacl-packages #797: Pull request #942 synchronize by mamonet
June 24, 2024 10:21 33s
June 24, 2024 10:21 33s
Import AES-CTR32 modules from pnmadelaine_aes branch and add NI proofs Create branch on hacl-packages #796: Pull request #919 synchronize by mamonet
June 23, 2024 16:03 35s
June 23, 2024 16:03 35s
[CI] regenerate hints and dist Create branch on hacl-packages #795: Pull request #957 opened by hacl-bot
June 23, 2024 00:44 29s
June 23, 2024 00:44 29s
[CI] regenerate hints and dist Nix #743: Pull request #957 opened by hacl-bot
June 23, 2024 00:44 21m 44s hints-and-dist-main
hints-and-dist-main
June 23, 2024 00:44 21m 44s
[CI] regenerate hints and dist Dist CI #2240: Pull request #957 opened by hacl-bot
June 23, 2024 00:44 1m 48s hints-and-dist-main
hints-and-dist-main
June 23, 2024 00:44 1m 48s
[CI] regenerate hints and dist Nix #742: Commit 55a2ce8 pushed by hacl-bot
June 23, 2024 00:44 21m 9s hints-and-dist-main
hints-and-dist-main
June 23, 2024 00:44 21m 9s
regenerate hints and dist regenerate hints and dist #127: Scheduled
June 23, 2024 00:44 39s main
main
June 23, 2024 00:44 39s
A preliminary version of HACL* extracted to *safe* Rust Dist CI #2239: Pull request #918 synchronize by R1kM
June 20, 2024 19:08 2m 0s afromher_rs
afromher_rs
June 20, 2024 19:08 2m 0s
A preliminary version of HACL* extracted to *safe* Rust Nix #741: Pull request #918 synchronize by R1kM
June 20, 2024 19:08 5h 47m 35s afromher_rs
afromher_rs
June 20, 2024 19:08 5h 47m 35s
rust dist refresh Nix #740: Commit e5088a9 pushed by R1kM
June 20, 2024 19:08 5h 48m 3s afromher_rs
afromher_rs
June 20, 2024 19:08 5h 48m 3s
A preliminary version of HACL* extracted to *safe* Rust Create branch on hacl-packages #794: Pull request #918 synchronize by R1kM
June 20, 2024 19:08 30s
June 20, 2024 19:08 30s
rust dist refresh Nix #739: Commit e5088a9 pushed by R1kM
June 20, 2024 15:20 22m 23s afromher_rs_update
afromher_rs_update
June 20, 2024 15:20 22m 23s
Merge branch 'afromher_blake' into afromher_rs_update Nix #738: Commit a6068a1 pushed by R1kM
June 20, 2024 11:32 59m 22s afromher_rs_update
afromher_rs_update
June 20, 2024 11:32 59m 22s
Prettify Blake2 dist Nix #737: Pull request #956 opened by R1kM
June 20, 2024 11:30 23s afromher_blake
afromher_blake
June 20, 2024 11:30 23s
Prettify Blake2 dist Dist CI #2238: Pull request #956 opened by R1kM
June 20, 2024 11:30 1m 43s afromher_blake
afromher_blake
June 20, 2024 11:30 1m 43s
Prettify Blake2 dist Create branch on hacl-packages #793: Pull request #956 opened by R1kM
June 20, 2024 11:30 24s
June 20, 2024 11:30 24s
refresh dist Nix #736: Commit 3d0b518 pushed by R1kM
June 20, 2024 11:27 1h 19m 5s afromher_blake
afromher_blake
June 20, 2024 11:27 1h 19m 5s
z3options Nix #735: Commit 0baf183 pushed by R1kM
June 20, 2024 09:54 13m 26s afromher_misc
afromher_misc
June 20, 2024 09:54 13m 26s
Tweak rlimit for chacha20 test vectors Nix #734: Commit 5a2790d pushed by R1kM
June 20, 2024 09:04 15m 54s afromher_misc
afromher_misc
June 20, 2024 09:04 15m 54s
Stabilize vale sha ppc proofs Nix #733: Commit 4f71b7e pushed by R1kM
June 20, 2024 08:46 12m 55s afromher_misc
afromher_misc
June 20, 2024 08:46 12m 55s
Temporarily disable blake and hmac due to extraction issues Nix #732: Commit 7ba487d pushed by R1kM
June 18, 2024 08:31 10m 9s afromher_rs_update
afromher_rs_update
June 18, 2024 08:31 10m 9s
More robust Z3 options for ppc sha Nix #731: Commit fdf498a pushed by R1kM
June 18, 2024 08:19 9m 34s afromher_rs_update
afromher_rs_update
June 18, 2024 08:19 9m 34s
Stabilize Functor proof Nix #730: Commit 430ee26 pushed by R1kM
June 18, 2024 08:00 8m 55s afromher_rs_update
afromher_rs_update
June 18, 2024 08:00 8m 55s