Skip to content
Build & Test

CI: Update tlaplus/example script parameters #258

Sign in to view logs

CI: Update tlaplus/example script parameters

CI: Update tlaplus/example script parameters #258

Triggered via pull request August 1, 2025 20:30
@ahelwerahelwer
opened #236
ahelwer:ci-example-scripts
Status Cancelled
Total duration 17m 11s
Artifacts –

ci.yml

on: pull_request
Matrix: Build & Test
Fit to window
Zoom out
Zoom in

Annotations

9 errors and 4 notices
Build & Test (ubuntu-latest, 5.1.0)
The operation was canceled.
Build & Test (ubuntu-latest, 5.1.0)
The run was canceled by @ahelwer.
Build & Test (ubuntu-latest, 4.14.1)
The operation was canceled.
Build & Test (ubuntu-latest, 4.14.1)
The run was canceled by @ahelwer.
Build & Test (macos-latest, 4.14.1)
The operation was canceled.
Build & Test (macos-latest, 4.14.1)
The run was canceled by @ahelwer.
Build & Test (macos-latest, 5.1.0)
The operation was canceled.
Build & Test (macos-latest, 5.1.0)
The run was canceled by @ahelwer.
Build & Test
The run was canceled by @ahelwer.
Build & Test (macos-latest, 4.14.1)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Build & Test (macos-latest, 4.14.1)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Build & Test (macos-latest, 5.1.0)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
Build & Test (macos-latest, 5.1.0)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520