Skip to content

Actions: cryspen/libcrux

Actions

s390x - Build & Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
s390x.yml
900 workflow runs
900 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update getrandom requirement from 0.2 to 0.3 s390x - Build & Test #808: Pull request #772 synchronize by franziskuskiefer
January 27, 2025 13:55 18m 40s dependabot/cargo/getrandom-0.3
dependabot/cargo/getrandom-0.3
January 27, 2025 13:55 18m 40s
Merge branch 'main' into dependabot/cargo/getrandom-0.3 s390x - Build & Test #807: Commit 5694f2a pushed by franziskuskiefer
January 27, 2025 13:55 14m 4s dependabot/cargo/getrandom-0.3
dependabot/cargo/getrandom-0.3
January 27, 2025 13:55 14m 4s
Merge pull request #773 from cryspen/dependabot/github_actions/Determ… s390x - Build & Test #806: Commit 7755d48 pushed by franziskuskiefer
January 27, 2025 13:55 11m 4s main
main
January 27, 2025 13:55 11m 4s
Make more modules panic free s390x - Build & Test #805: Pull request #713 synchronize by karthikbhargavan
January 27, 2025 12:45 9m 37s dev-panic-free
dev-panic-free
January 27, 2025 12:45 9m 37s
fixed invert-ntt s390x - Build & Test #804: Commit 0cf3560 pushed by karthikbhargavan
January 27, 2025 12:45 4m 43s dev-panic-free
dev-panic-free
January 27, 2025 12:45 4m 43s
Make more modules panic free s390x - Build & Test #803: Pull request #713 synchronize by karthikbhargavan
January 27, 2025 11:33 9m 49s dev-panic-free
dev-panic-free
January 27, 2025 11:33 9m 49s
back to lax s390x - Build & Test #802: Commit 60db61f pushed by karthikbhargavan
January 27, 2025 11:33 6m 21s dev-panic-free
dev-panic-free
January 27, 2025 11:33 6m 21s
Make more modules panic free s390x - Build & Test #801: Pull request #713 synchronize by mamonet
January 27, 2025 09:29 6m 53s dev-panic-free
dev-panic-free
January 27, 2025 09:29 6m 53s
Move Libcrux_ml_kem.Ind_cpa.fst to SLOW_MODULES s390x - Build & Test #800: Commit c2f2b9a pushed by mamonet
January 27, 2025 09:28 9m 51s dev-panic-free
dev-panic-free
January 27, 2025 09:28 9m 51s
Make more modules panic free s390x - Build & Test #799: Pull request #713 synchronize by mamonet
January 27, 2025 09:28 49s dev-panic-free
dev-panic-free
January 27, 2025 09:28 49s
Rename add_opaque/sub_opaque to add/sub s390x - Build & Test #798: Commit 02dd7a5 pushed by mamonet
January 27, 2025 09:28 51s dev-panic-free
dev-panic-free
January 27, 2025 09:28 51s
Update hax.yml s390x - Build & Test #797: Commit 95ddc3c pushed by franziskuskiefer
January 27, 2025 07:53 7m 54s franziskus/ci-mlkem-verify
franziskus/ci-mlkem-verify
January 27, 2025 07:53 7m 54s
Bump DeterminateSystems/magic-nix-cache-action from 7 to 9 s390x - Build & Test #796: Pull request #773 opened by dependabot bot
January 27, 2025 02:47 11m 42s dependabot/github_actions/DeterminateSystems/magic-nix-cache-action-9
dependabot/github_actions/DeterminateSystems/magic-nix-cache-action-9
January 27, 2025 02:47 11m 42s
Bump DeterminateSystems/magic-nix-cache-action from 7 to 9 s390x - Build & Test #795: Commit bed8f5a pushed by dependabot bot
January 27, 2025 02:47 9m 41s dependabot/github_actions/DeterminateSystems/magic-nix-cache-action-9
dependabot/github_actions/DeterminateSystems/magic-nix-cache-action-9
January 27, 2025 02:47 9m 41s
Update getrandom requirement from 0.2 to 0.3 s390x - Build & Test #794: Pull request #772 opened by dependabot bot
January 27, 2025 02:30 9m 38s dependabot/cargo/getrandom-0.3
dependabot/cargo/getrandom-0.3
January 27, 2025 02:30 9m 38s
Update getrandom requirement from 0.2 to 0.3 s390x - Build & Test #793: Commit 8445515 pushed by dependabot bot
January 27, 2025 02:30 9m 45s dependabot/cargo/getrandom-0.3
dependabot/cargo/getrandom-0.3
January 27, 2025 02:30 9m 45s
Make more modules panic free s390x - Build & Test #792: Pull request #713 synchronize by mamonet
January 25, 2025 09:02 9m 24s dev-panic-free
dev-panic-free
January 25, 2025 09:02 9m 24s
Merge branch main into dev-panic-free s390x - Build & Test #791: Commit a50f1cc pushed by mamonet
January 25, 2025 09:02 9m 32s dev-panic-free
dev-panic-free
January 25, 2025 09:02 9m 32s
verify on self-hosted s390x - Build & Test #790: Commit 2d87e10 pushed by franziskuskiefer
January 25, 2025 06:26 12m 37s franziskus/ci-mlkem-verify
franziskus/ci-mlkem-verify
January 25, 2025 06:26 12m 37s
Merge pull request #756 from cryspen/transparent-integers s390x - Build & Test #789: Commit a177c4d pushed by franziskuskiefer
January 25, 2025 06:22 9m 16s main
main
January 25, 2025 06:22 9m 16s
verify on self-hosted s390x - Build & Test #788: Commit e09d8d0 pushed by franziskuskiefer
January 24, 2025 18:51 4m 22s franziskus/ci-mlkem-verify
franziskus/ci-mlkem-verify
January 24, 2025 18:51 4m 22s
Adapt proofs to use transparent integers s390x - Build & Test #787: Pull request #756 synchronize by karthikbhargavan
January 24, 2025 17:36 20m 24s transparent-integers
transparent-integers
January 24, 2025 17:36 20m 24s
switch to main s390x - Build & Test #786: Commit 985ac38 pushed by karthikbhargavan
January 24, 2025 17:36 9m 28s transparent-integers
transparent-integers
January 24, 2025 17:36 9m 28s
Adapt proofs to use transparent integers s390x - Build & Test #785: Pull request #756 synchronize by karthikbhargavan
January 24, 2025 15:52 16m 47s transparent-integers
transparent-integers
January 24, 2025 15:52 16m 47s
Merge branch 'main' into transparent-integers s390x - Build & Test #784: Commit 70eddcd pushed by karthikbhargavan
January 24, 2025 15:52 11m 48s transparent-integers
transparent-integers
January 24, 2025 15:52 11m 48s