Skip to content

Actions: cryspen/libcrux

s390x - Build & Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,227 workflow runs
1,227 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve the flake
s390x - Build & Test #185: Pull request #678 synchronize by Nadrieril
November 14, 2024 11:05 15m 38s Nadrieril:improve-flake
November 14, 2024 11:05 15m 38s
Improve the flake
s390x - Build & Test #184: Pull request #678 opened by Nadrieril
November 14, 2024 11:04 34s Nadrieril:improve-flake
November 14, 2024 11:04 34s
More efficient butterfly in inverse NTT layers 0-2
s390x - Build & Test #183: Pull request #671 synchronize by jschneider-bensch
November 14, 2024 11:02 13m 10s jonas/invntt-butterfly
November 14, 2024 11:02 13m 10s
FStar Update
s390x - Build & Test #182: Commit 6982493 pushed by jschneider-bensch
November 14, 2024 11:02 9m 35s jonas/invntt-butterfly
November 14, 2024 11:02 9m 35s
Back implementations of SHA2, HMAC-SHA1, HMAC-SHA2 and HKDF-SHA2 by hacl-rs
s390x - Build & Test #181: Pull request #659 synchronize by keks
November 14, 2024 10:34 9m 4s keks/hacl-rs
November 14, 2024 10:34 9m 4s
Apply suggestions from code review
s390x - Build & Test #180: Commit 7584c13 pushed by keks
November 14, 2024 10:34 9m 2s keks/hacl-rs
November 14, 2024 10:34 9m 2s
Back implementations of SHA2, HMAC-SHA1, HMAC-SHA2 and HKDF-SHA2 by hacl-rs
s390x - Build & Test #179: Pull request #659 synchronize by keks
November 14, 2024 09:37 9m 47s keks/hacl-rs
November 14, 2024 09:37 9m 47s
Merge branch 'main' into keks/hacl-rs
s390x - Build & Test #178: Commit a216c87 pushed by keks
November 14, 2024 09:37 9m 32s keks/hacl-rs
November 14, 2024 09:37 9m 32s
Back implementations of SHA2, HMAC-SHA1, HMAC-SHA2 and HKDF-SHA2 by hacl-rs
s390x - Build & Test #177: Pull request #659 synchronize by keks
November 14, 2024 09:30 7m 12s keks/hacl-rs
November 14, 2024 09:30 7m 12s
fix ci error
s390x - Build & Test #176: Commit f0f3d0e pushed by keks
November 14, 2024 09:30 7m 13s keks/hacl-rs
November 14, 2024 09:30 7m 13s
Merging main into dev
s390x - Build & Test #175: Pull request #662 synchronize by mamonet
November 14, 2024 06:20 33m 36s dev-merge-main
November 14, 2024 06:20 33m 36s
Add pre-conditions for Unpacked functions
s390x - Build & Test #174: Commit 89568ab pushed by mamonet
November 14, 2024 06:20 32m 30s dev-merge-main
November 14, 2024 06:20 32m 30s
Merge pull request #623 from cryspen/franziskus/mlkem-serialize-sk
s390x - Build & Test #173: Commit 9b4b799 pushed by github-merge-queue bot
November 13, 2024 20:40 9m 16s main
November 13, 2024 20:40 9m 16s
s390x - Build & Test
s390x - Build & Test #172: Merge group checks requested
November 13, 2024 19:46 2s
November 13, 2024 19:46 2s
s390x - Build & Test
s390x - Build & Test #170: Merge group checks requested
November 13, 2024 18:37 18m 44s
November 13, 2024 18:37 18m 44s
ci to build libcrux-c docker image
s390x - Build & Test #168: Commit 896f8e0 pushed by franziskuskiefer
November 13, 2024 17:51 35s franziskus/docker-build-tests
November 13, 2024 17:51 35s
[ML-KEM] serialize sk
s390x - Build & Test #167: Pull request #623 synchronize by franziskuskiefer
November 13, 2024 17:47 12m 14s franziskus/mlkem-serialize-sk
November 13, 2024 17:47 12m 14s
update C extraction
s390x - Build & Test #166: Commit 13a516c pushed by franziskuskiefer
November 13, 2024 17:47 8m 52s franziskus/mlkem-serialize-sk
November 13, 2024 17:47 8m 52s
Back implementations of SHA2, HMAC-SHA1, HMAC-SHA2 and HKDF-SHA2 by hacl-rs
s390x - Build & Test #165: Pull request #659 synchronize by keks
November 13, 2024 16:40 14m 34s keks/hacl-rs
November 13, 2024 16:40 14m 34s
slight api change, more comments
s390x - Build & Test #164: Commit 3c5be34 pushed by keks
November 13, 2024 16:40 9m 43s keks/hacl-rs
November 13, 2024 16:40 9m 43s
[ML-KEM] serialize sk
s390x - Build & Test #163: Pull request #623 synchronize by franziskuskiefer
November 13, 2024 16:00 18m 57s franziskus/mlkem-serialize-sk
November 13, 2024 16:00 18m 57s
update C extraction
s390x - Build & Test #162: Commit 122ee3d pushed by franziskuskiefer
November 13, 2024 16:00 8m 58s franziskus/mlkem-serialize-sk
November 13, 2024 16:00 8m 58s
More efficient butterfly in inverse NTT layers 0-2
s390x - Build & Test #161: Pull request #671 opened by jschneider-bensch
November 13, 2024 15:47 18m 4s jonas/invntt-butterfly
November 13, 2024 15:47 18m 4s
ProTip! You can narrow down the results and go further in time using created:<2024-11-13 or the other filters available.