Commit 2024-05-13 06:20 12b9e306
View on Github →chore: run lean4checker cron on hoskinson (#12859) The job was being cancelled, possibly because it consumes more memory than allowed on a github runner. This PR moves the job to the Hoskinson machines.