.github/workflows/main.yml

{CWEB] Improve proofsort script. #1038

Sign in to view logs

Triggered via push June 13, 2023 16:30

norbusan

trunk

Status Success

Total duration 19m 54s

Artifacts –

main.yml

on: push

i386-linux build job

x86_64-linux build job

x86_64-linuxmusl build job