Clean up Hacl-rs integration and add Poly1305 and ChaCha20Poly1305 #548

	name: s390x - Build & Test

	on:
	push:
	pull_request:
	branches: ["main", "dev"]
	workflow_dispatch:
	merge_group:

	env:
	CARGO_TERM_COLOR: always

	concurrency:
	group: ${{ github.workflow }}-${{ github.ref }}
	cancel-in-progress: true

	jobs:
	s390x:
	runs-on: ubuntu-latest
	name: Build on ubuntu-22.04 s390x
	steps:
	- uses: actions/checkout@v4
	- uses: uraimo/run-on-arch-action@v2
	name: Run
	id: runcmd
	with:
	arch: s390x
	distro: ubuntu22.04

	# Speed up builds by storing container images in
	# a GitHub package registry.
	githubToken: ${{ github.token }}

	run: \|
	apt-get -y update
	apt-get install -y curl gcc g++ make cmake ninja-build git
	cd libcrux-ml-kem/c
	cmake -B build -G"Ninja Multi-Config"
	cmake --build build
	./build/Debug/ml_kem_test
	cd ../cg
	cmake -B build -G"Ninja Multi-Config"
	cmake --build build
	./build/Debug/ml_kem_test

Provide feedback