Skip to content

Actions: hacspec/hax

Extract and TC ML-Kem

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
910 workflow runs
910 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1057 from hacspec/fix-1042
Extract and TC ML-Kem #860: Commit 6891818 pushed by github-merge-queue bot
October 28, 2024 16:15 3s main
October 28, 2024 16:15 3s
Extract and TC ML-Kem
Extract and TC ML-Kem #859: Merge group checks requested
October 28, 2024 16:09 24m 12s
October 28, 2024 16:09 24m 12s
Extract and TC ML-Kem
Extract and TC ML-Kem #858: Merge group checks requested
October 28, 2024 15:52 24m 32s
October 28, 2024 15:52 24m 32s
fix(engine) Avoid wrapping return in a tuple.
Extract and TC ML-Kem #857: Pull request #1056 synchronize by maximebuyse
October 28, 2024 15:26 2s fix-1044
October 28, 2024 15:26 2s
Include bodies in FullDef
Extract and TC ML-Kem #856: Pull request #1055 synchronize by Nadrieril
October 28, 2024 15:20 3s Nadrieril:generic-fulldef
October 28, 2024 15:20 3s
fix(exporter/constants): support usize casted to raw pointers constants
Extract and TC ML-Kem #855: Pull request #1057 synchronize by W95Psp
October 28, 2024 15:19 3s fix-1042
October 28, 2024 15:19 3s
fix(exporter/constants): support usize casted to raw pointers constants
Extract and TC ML-Kem #854: Pull request #1057 opened by W95Psp
October 28, 2024 14:54 3s fix-1042
October 28, 2024 14:54 3s
fix(engine) Avoid wrapping return in a tuple.
Extract and TC ML-Kem #853: Pull request #1056 opened by maximebuyse
October 28, 2024 14:46 3s fix-1044
October 28, 2024 14:46 3s
Include bodies in FullDef
Extract and TC ML-Kem #852: Pull request #1055 opened by Nadrieril
October 28, 2024 14:40 3s Nadrieril:generic-fulldef
October 28, 2024 14:40 3s
Intern DefIds
Extract and TC ML-Kem #851: Pull request #1054 synchronize by Nadrieril
October 28, 2024 14:09 4s Nadrieril:intern-defid
October 28, 2024 14:09 4s
Intern DefIds
Extract and TC ML-Kem #850: Pull request #1054 opened by Nadrieril
October 28, 2024 13:39 5s Nadrieril:intern-defid
October 28, 2024 13:39 5s
Merge pull request #1052 from hacspec/fix-1042
Extract and TC ML-Kem #849: Commit 9559048 pushed by github-merge-queue bot
October 28, 2024 13:39 3s main
October 28, 2024 13:39 3s
Extract and TC ML-Kem
Extract and TC ML-Kem #848: Merge group checks requested
October 28, 2024 13:17 24m 15s
October 28, 2024 13:17 24m 15s
fix(exporter/thir): fix #1048
Extract and TC ML-Kem #847: Pull request #1052 synchronize by W95Psp
October 28, 2024 12:57 4s fix-1042
October 28, 2024 12:57 4s
Merge pull request #1053 from Nadrieril/fulldef-for-names
Extract and TC ML-Kem #846: Commit 2054cee pushed by github-merge-queue bot
October 28, 2024 12:08 3s main
October 28, 2024 12:08 3s
Extract and TC ML-Kem
Extract and TC ML-Kem #845: Merge group checks requested
October 28, 2024 11:43 29m 54s
October 28, 2024 11:43 29m 54s
Merge pull request #1049 from hacspec/fix-1021
Extract and TC ML-Kem #844: Commit 4740ecb pushed by github-merge-queue bot
October 28, 2024 11:39 3s main
October 28, 2024 11:39 3s
Avoid a panic in FullDef
Extract and TC ML-Kem #843: Pull request #1053 opened by Nadrieril
October 28, 2024 11:19 5s Nadrieril:fulldef-for-names
October 28, 2024 11:19 5s
fix(exporter/thir): fix #1048
Extract and TC ML-Kem #842: Pull request #1052 opened by W95Psp
October 28, 2024 11:16 3s fix-1042
October 28, 2024 11:16 3s
Extract and TC ML-Kem
Extract and TC ML-Kem #841: Merge group checks requested
October 28, 2024 11:16 24m 31s
October 28, 2024 11:16 24m 31s
fix(engine) Move variant constructors in recursive bundling.
Extract and TC ML-Kem #840: Pull request #1049 synchronize by maximebuyse
October 28, 2024 10:47 3s fix-1021
October 28, 2024 10:47 3s
Merge pull request #1050 from hacspec/fix-1042
Extract and TC ML-Kem #839: Commit ac0445b pushed by github-merge-queue bot
October 28, 2024 10:37 4s main
October 28, 2024 10:37 4s
Extract and TC ML-Kem
Extract and TC ML-Kem #838: Merge group checks requested
October 28, 2024 10:16 24m 36s
October 28, 2024 10:16 24m 36s
Fix #1042
Extract and TC ML-Kem #837: Pull request #1050 opened by W95Psp
October 28, 2024 09:56 3s fix-1042
October 28, 2024 09:56 3s
fix(engine) Move variant constructors in recursive bundling.
Extract and TC ML-Kem #836: Pull request #1049 opened by maximebuyse
October 28, 2024 09:56 3s fix-1021
October 28, 2024 09:56 3s