Debugger: Add support for on demand breakpoint expressions · tlaplus/tlaplus@acb5e70

Triggered via pull request December 13, 2024 17:41

ahelwer

synchronize #1099

Status Success

Total duration 27m 15s

Artifacts 2

pr.yml

on: pull_request

Matrix: Examples Integration Tests

Matrix: TLA+ Tools Build & Test

Matrix: Eclipse Toolbox Build & Test

2 errors and 6 warnings

❌ Failed to create checks using the provided token. (HttpError: Resource not accessible by integration - https://docs.github.com/rest/checks/runs#create-a-check-run)

❌ Failed to create checks using the provided token. (HttpError: Resource not accessible by integration - https://docs.github.com/rest/checks/runs#create-a-check-run)

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

⚠️ This usually indicates insufficient permissions. More details: https://github.com/mikepenz/action-junit-report/issues/23

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

⚠️ This usually indicates insufficient permissions. More details: https://github.com/mikepenz/action-junit-report/issues/23

Produced during runtime

Name	Size
testresults-macos-latest	3.81 MB
testresults-ubuntu-latest	3.71 MB