Skip to content

Use Pun for primes in TeX reader, revise type of toPrimes. #288

Use Pun for primes in TeX reader, revise type of toPrimes.

Use Pun for primes in TeX reader, revise type of toPrimes. #288

Triggered via push February 26, 2025 22:02
Status Success
Total duration 7m 23s
Artifacts

ci.yml

on: push
Matrix: linux
Fit to window
Zoom out
Zoom in