.github/workflows/push.yml

Update syntax.tex #94

Sign in to view logs

Triggered via push February 5, 2025 21:04

awodey

master

Status Success

Total duration 3m 12s

Artifacts –

push.yml

on: push