Skip to content

change variable NUMBER to TEXFILE, in sync with homepage introduction pr #34

change variable NUMBER to TEXFILE, in sync with homepage introduction pr

change variable NUMBER to TEXFILE, in sync with homepage introduction pr #34

Triggered via pull request July 26, 2025 15:52
Status Success
Total duration 5m 15s
Artifacts

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in