Skip to content
Daily Build Status

Recreating longer counterexamples such as those coming out of the simulator is significantly faster when deserialized from TLC's binary format as opposed to the textual record in TTrace.tla. #20514

Sign in to view logs

Recreating longer counterexamples such as those coming out of the simulator is significantly faster when deserialized from TLC's binary format as opposed to the textual record in TTrace.tla.

Recreating longer counterexamples such as those coming out of the simulator is significantly faster when deserialized from TLC's binary format as opposed to the textual record in TTrace.tla. #20514

Workflow file for this run

.github/workflows/daily-check.yml at 5384d23
name: "Daily Build Status"
on: [push, pull_request]
jobs:
daily:
name: Check Daily Build status
runs-on: ubuntu-latest
steps:
- run: |
curl -s https://dev.azure.com/MSRC-CCF/CCF/_apis/build/status/CCF%20GitHub%20Daily?branchName=main | grep succeeded