GitHub repository: leanprover-community/azure-scripts
Primary language: Python
Description: scripts and cron jobs for Azure