Skip to content

Actions: cryspen/libcrux

Actions

ECDH - Build & Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ecdh-build-test.yml
220 workflow runs
220 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #877 from Nadrieril/use-clang-18 ECDH - Build & Test #220: Commit 5c7b24f pushed by github-merge-queue bot
March 7, 2025 11:53 12m 39s main
main
March 7, 2025 11:53 12m 39s
ECDH - Build & Test ECDH - Build & Test #219: Merge group checks requested
March 7, 2025 11:18 11s
March 7, 2025 11:18 11s
Merge pull request #876 from cryspen/franziskus/mlkem-c-noformat ECDH - Build & Test #218: Commit 549104f pushed by github-merge-queue bot
March 7, 2025 11:13 21m 23s main
main
March 7, 2025 11:13 21m 23s
ECDH - Build & Test ECDH - Build & Test #217: Merge group checks requested
March 7, 2025 10:38 15s
March 7, 2025 10:38 15s
Use clang-format of clang 18 ECDH - Build & Test #216: Pull request #877 opened by Nadrieril
March 7, 2025 10:31 5m 17s Nadrieril:use-clang-18
Nadrieril:use-clang-18
March 7, 2025 10:31 5m 17s
mlkem: c.sh no-format option ECDH - Build & Test #215: Pull request #876 opened by franziskuskiefer
March 6, 2025 17:25 15m 55s franziskus/mlkem-c-noformat
franziskus/mlkem-c-noformat
March 6, 2025 17:25 15m 55s
Merge pull request #854 from cryspen/run-ml-kem-proofs-ci ECDH - Build & Test #214: Commit 00cd918 pushed by github-merge-queue bot
March 6, 2025 16:17 12m 44s main
main
March 6, 2025 16:17 12m 44s
ECDH - Build & Test ECDH - Build & Test #213: Merge group checks requested
March 6, 2025 15:42 16s
March 6, 2025 15:42 16s
Run ml-kem proofs on CI. ECDH - Build & Test #212: Pull request #854 synchronize by maximebuyse
March 6, 2025 12:30 12m 6s run-ml-kem-proofs-ci
run-ml-kem-proofs-ci
March 6, 2025 12:30 12m 6s
Run ml-kem proofs on CI. ECDH - Build & Test #211: Pull request #854 synchronize by maximebuyse
March 6, 2025 09:11 9m 27s run-ml-kem-proofs-ci
run-ml-kem-proofs-ci
March 6, 2025 09:11 9m 27s
Merge pull request #875 from cryspen/wysiwys/fix-status-check-require… ECDH - Build & Test #210: Commit 6a8a3fc pushed by github-merge-queue bot
March 6, 2025 08:31 4m 46s main
main
March 6, 2025 08:31 4m 46s
Run ml-kem proofs on CI. ECDH - Build & Test #209: Pull request #854 synchronize by maximebuyse
March 6, 2025 08:09 18m 7s run-ml-kem-proofs-ci
run-ml-kem-proofs-ci
March 6, 2025 08:09 18m 7s
ECDH - Build & Test ECDH - Build & Test #208: Merge group checks requested
March 6, 2025 08:06 11s
March 6, 2025 08:06 11s
[Merge queue] make status checks explicitly depend on all preceding jobs in graph ECDH - Build & Test #207: Pull request #875 opened by wysiwys
March 6, 2025 07:41 9m 26s wysiwys/fix-status-check-requirements
wysiwys/fix-status-check-requirements
March 6, 2025 07:41 9m 26s
Merge pull request #872 from cryspen/wysiwys/fix-c-job-failure ECDH - Build & Test #206: Commit 9a1883e pushed by github-merge-queue bot
March 5, 2025 15:43 5m 25s main
main
March 5, 2025 15:43 5m 25s
Merge pull request #870 from cryspen/top-level-api ECDH - Build & Test #205: Commit 441b88a pushed by github-merge-queue bot
March 5, 2025 15:38 5m 16s main
main
March 5, 2025 15:38 5m 16s
ECDH - Build & Test ECDH - Build & Test #204: Merge group checks requested
March 5, 2025 15:23 12s
March 5, 2025 15:23 12s
ECDH - Build & Test ECDH - Build & Test #203: Merge group checks requested
March 5, 2025 15:16 14s
March 5, 2025 15:16 14s
[merge queue] fix checks succeeding on failed predecessor ECDH - Build & Test #202: Pull request #872 opened by wysiwys
March 5, 2025 14:50 32m 11s wysiwys/fix-c-job-failure
wysiwys/fix-c-job-failure
March 5, 2025 14:50 32m 11s
Some cleanups for the BoringSSL submission ECDH - Build & Test #201: Pull request #870 synchronize by franziskuskiefer
March 5, 2025 14:45 5m 45s top-level-api
top-level-api
March 5, 2025 14:45 5m 45s
ECDH - Build & Test ECDH - Build & Test #200: Merge group checks requested
March 5, 2025 14:24 16s
March 5, 2025 14:24 16s
Some cleanups for the BoringSSL submission ECDH - Build & Test #199: Pull request #870 synchronize by franziskuskiefer
March 5, 2025 13:52 4m 54s top-level-api
top-level-api
March 5, 2025 13:52 4m 54s
Some cleanups for the BoringSSL submission ECDH - Build & Test #198: Pull request #870 synchronize by karthikbhargavan
March 5, 2025 13:40 6m 3s top-level-api
top-level-api
March 5, 2025 13:40 6m 3s
Some cleanups for the BoringSSL submission ECDH - Build & Test #197: Pull request #870 synchronize by karthikbhargavan
March 5, 2025 13:40 1m 25s top-level-api
top-level-api
March 5, 2025 13:40 1m 25s
Some cleanups for the BoringSSL submission ECDH - Build & Test #196: Pull request #870 synchronize by karthikbhargavan
March 5, 2025 13:40 38s top-level-api
top-level-api
March 5, 2025 13:40 38s