.github/workflows/push.yml

chore(web.tex): also change to amsart (#485) #791

Sign in to view logs

Triggered via push August 4, 2025 13:07

fpvandoorn

master

Status Success

Total duration 45m 56s

Artifacts –

push.yml

on: push

⚡