.github/workflows/push.yml

More misc lemmas #332

Sign in to view logs

Triggered via push August 30, 2024 18:16

kbuzzard

main

Status Success

Total duration 11m 7s

Artifacts –

push.yml

on: push