Skip to content
Run tests for make_readme.py

Better scripting, and exit on git pull #1279

Sign in to view logs

Better scripting, and exit on git pull

Better scripting, and exit on git pull #1279

This job succeeded