Skip to content

Rename PUSH_MARK() to ADD_MARK(). #101

Rename PUSH_MARK() to ADD_MARK().

Rename PUSH_MARK() to ADD_MARK(). #101

Triggered via push January 18, 2024 16:31
Status Success
Total duration 1m 50s
Artifacts

ci-build.yml

on: push
Fit to window
Zoom out
Zoom in