ci: remove proof runner workflow (#11486)
The 'on: status' trigger is too broad and causes this job to trigger for all commits. Instead KaaS (Kontrol as a Service) will post the resulting status to slack directly, instead of through github
Showing
Please register or sign in to comment