Skip to content
.github/workflows/instant-sync.yml

proof(verisimdb): close V5 (Octad transaction atomicity) with TLA+/TLC #172

Sign in to view logs

proof(verisimdb): close V5 (Octad transaction atomicity) with TLA+/TLC

proof(verisimdb): close V5 (Octad transaction atomicity) with TLA+/TLC #172

Run time

Learn about OS pricing on GitHub Actions
Job Run time
0s