Skip to content
Pytest

remove lean4repl #44

Sign in to view logs

remove lean4repl

remove lean4repl #44

Triggered via push November 24, 2025 11:49
@durant42040durant42040
pushed 88354ab
main
Status Success
Total duration 4m 18s
Artifacts –

pytest.yml

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