GitHub CI

Allow publishing to pypi when tags are pushed #196

Sign in to view logs

Re-run triggered February 14, 2025 12:44

GiacomoPope

#93

gp-add-pypi-ci

Status Success

Total duration 1m 44s

Artifacts –

ci.yml

on: pull_request

Matrix: test

benchmark-kyber

benchmark-ml-kem

Indicate completion to coveralls