Skip to content
LeanAuto CI

Fix resource limit & timeout handling if some assertion in the batch has already failed #425

Sign in to view logs

Fix resource limit & timeout handling if some assertion in the batch has already failed

Fix resource limit & timeout handling if some assertion in the batch has already failed #425

This workflow is awaiting approval from a maintainer in #994
Triggered via pull request January 9, 2025 07:27
@samuelpilzsamuelpilz
opened #994
samuelpilz:master
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #994

test-lean-auto.yml

on: pull_request
LeanAuto CI
LeanAuto CI
Fit to window
Zoom out
Zoom in