Skip to content

Actions: cryspen/libcrux

Actions

s390x - Build & Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
s390x.yml
1,011 workflow runs
1,011 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update rand requirement from 0.8 to 0.9 s390x - Build & Test #969: Commit 293060d pushed by wysiwys
February 6, 2025 07:52 3m 52s wysiwys/update-rand-requirement
wysiwys/update-rand-requirement
February 6, 2025 07:52 3m 52s
Refresh C code with https://github.com/AeneasVerif/eurydice/pull/141 s390x - Build & Test #968: Commit 9f27913 pushed by protz
February 5, 2025 21:26 9m 13s protz_refresh
protz_refresh
February 5, 2025 21:26 9m 13s
Build C extraction Docker image and run tests on CI s390x - Build & Test #967: Pull request #791 opened by wysiwys
February 5, 2025 18:20 12m 4s wysiwys/docker-build-tests
wysiwys/docker-build-tests
February 5, 2025 18:20 12m 4s
remove test prefix from extract jobs s390x - Build & Test #966: Commit 8dc9699 pushed by wysiwys
February 5, 2025 15:48 9m 37s wysiwys/docker-build-tests
wysiwys/docker-build-tests
February 5, 2025 15:48 9m 37s
Merge pull request #780 from cryspen/ml-dsa-arithmetic-basic s390x - Build & Test #965: Commit 20dc15a pushed by wysiwys
February 5, 2025 15:05 9m 46s wysiwys/update-rand-requirement
wysiwys/update-rand-requirement
February 5, 2025 15:05 9m 46s
use correct path for .docker/c directory s390x - Build & Test #964: Commit 9f90a4a pushed by wysiwys
February 5, 2025 15:01 6m 43s wysiwys/docker-build-tests
wysiwys/docker-build-tests
February 5, 2025 15:01 6m 43s
uncomment rest of Dockerfile s390x - Build & Test #963: Commit fe8e84a pushed by wysiwys
February 5, 2025 14:39 9m 39s wysiwys/docker-build-tests
wysiwys/docker-build-tests
February 5, 2025 14:39 9m 39s
rename version tag to 'unstable' s390x - Build & Test #962: Commit 674f983 pushed by wysiwys
February 5, 2025 14:37 2m 34s wysiwys/docker-build-tests
wysiwys/docker-build-tests
February 5, 2025 14:37 2m 34s
require image to be uploaded before running extractions s390x - Build & Test #961: Commit 33c0daa pushed by wysiwys
February 5, 2025 14:33 3m 59s wysiwys/docker-build-tests
wysiwys/docker-build-tests
February 5, 2025 14:33 3m 59s
Add rest of tests from c.yml s390x - Build & Test #960: Commit 5de7d07 pushed by wysiwys
February 5, 2025 14:30 2m 47s wysiwys/docker-build-tests
wysiwys/docker-build-tests
February 5, 2025 14:30 2m 47s
hard-code registry name for now s390x - Build & Test #959: Commit 4470fd1 pushed by wysiwys
February 5, 2025 13:38 9m 56s wysiwys/docker-build-tests
wysiwys/docker-build-tests
February 5, 2025 13:38 9m 56s
remove docker:// prefix s390x - Build & Test #958: Commit ee23bc5 pushed by wysiwys
February 5, 2025 13:35 3m 27s wysiwys/docker-build-tests
wysiwys/docker-build-tests
February 5, 2025 13:35 3m 27s
construct container image paths from environment variables s390x - Build & Test #957: Commit e030134 pushed by wysiwys
February 5, 2025 13:29 5m 45s wysiwys/docker-build-tests
wysiwys/docker-build-tests
February 5, 2025 13:29 5m 45s
add first extraction job s390x - Build & Test #956: Commit 5e54aca pushed by wysiwys
February 5, 2025 13:20 9m 10s wysiwys/docker-build-tests
wysiwys/docker-build-tests
February 5, 2025 13:20 9m 10s
Make more modules panic free s390x - Build & Test #955: Pull request #713 synchronize by karthikbhargavan
February 5, 2025 12:30 8m 6s dev-panic-free
dev-panic-free
February 5, 2025 12:30 8m 6s
Merge branch 'main' into dev-panic-free s390x - Build & Test #954: Commit 3863c05 pushed by karthikbhargavan
February 5, 2025 12:30 9m 17s dev-panic-free
dev-panic-free
February 5, 2025 12:30 9m 17s
remove duplicate repository owner name s390x - Build & Test #953: Commit 3199781 pushed by wysiwys
February 5, 2025 10:55 9m 26s wysiwys/docker-build-tests
wysiwys/docker-build-tests
February 5, 2025 10:55 9m 26s
add registry to tag s390x - Build & Test #952: Commit 320618c pushed by wysiwys
February 5, 2025 10:52 3m 9s wysiwys/docker-build-tests
wysiwys/docker-build-tests
February 5, 2025 10:52 3m 9s
add prefix and container name to tags s390x - Build & Test #951: Commit d0bf1fc pushed by wysiwys
February 5, 2025 10:42 9m 28s wysiwys/docker-build-tests
wysiwys/docker-build-tests
February 5, 2025 10:42 9m 28s
add docker-c workflow s390x - Build & Test #950: Commit 05a9b73 pushed by wysiwys
February 5, 2025 10:31 4m 12s wysiwys/docker-build-tests
wysiwys/docker-build-tests
February 5, 2025 10:31 4m 12s
Merge pull request #780 from cryspen/ml-dsa-arithmetic-basic s390x - Build & Test #949: Commit 20dc15a pushed by wysiwys
February 5, 2025 10:25 6m 12s wysiwys/docker-build-tests
wysiwys/docker-build-tests
February 5, 2025 10:25 6m 12s
Make RSA API more usable s390x - Build & Test #948: Pull request #766 synchronize by keks
February 5, 2025 07:25 18m 54s keks/fix-rsa-api
keks/fix-rsa-api
February 5, 2025 07:25 18m 54s
Merge branch 'main' into keks/fix-rsa-api s390x - Build & Test #947: Commit 8e5bf46 pushed by keks
February 5, 2025 07:25 9m 35s keks/fix-rsa-api
keks/fix-rsa-api
February 5, 2025 07:25 9m 35s
hacl rs p256 s390x - Build & Test #946: Pull request #779 synchronize by franziskuskiefer
February 4, 2025 16:04 10m 18s franziskus/hacl-rs-p256
franziskus/hacl-rs-p256
February 4, 2025 16:04 10m 18s
Merge branch 'main' into franziskus/hacl-rs-p256 s390x - Build & Test #945: Commit 5c50269 pushed by franziskuskiefer
February 4, 2025 16:04 7m 15s franziskus/hacl-rs-p256
franziskus/hacl-rs-p256
February 4, 2025 16:04 7m 15s