Update GHA actions (#40) #41

Triggered via push January 20, 2025 23:36

haydenmc

main

Status Success

Total duration 44s

Artifacts 1

linux-x64.yml

on: push

1 warning

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Produced during runtime

Name	Size
Theorem	36.6 MB