Skip to content
Boogie CI

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

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 #1926

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.yml

on: pull_request
Matrix: Boogie CI
Waiting for pending jobs
Fit to window
Zoom out
Zoom in