Skip to content

Merge pull request #604 from dedis/fix-int32-reviewed-merge #23

Merge pull request #604 from dedis/fix-int32-reviewed-merge

Merge pull request #604 from dedis/fix-int32-reviewed-merge #23

Triggered via push February 2, 2026 12:48
Status Success
Total duration 1m 2s
Artifacts

deploy.yaml

on: push
build-and-deploy
58s
build-and-deploy
Fit to window
Zoom out
Zoom in