Skip to content

Actions: tlaplus/Examples

Actions

Check Specs & Metadata

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
437 workflow runs
437 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added --enable_assertions flag to pcal translate script Check Specs & Metadata #771: Pull request #161 synchronize by ahelwer
February 27, 2025 16:08 22m 48s ahelwer:enable-assertions-pcal
ahelwer:enable-assertions-pcal
February 27, 2025 16:08 22m 48s
Added --enable_assertions flag to pcal translate script Check Specs & Metadata #770: Pull request #161 opened by ahelwer
February 27, 2025 16:07 1m 24s ahelwer:enable-assertions-pcal
ahelwer:enable-assertions-pcal
February 27, 2025 16:07 1m 24s
Update CI.yml Check Specs & Metadata #769: Pull request #160 opened by muenchnerkindl
February 27, 2025 15:56 13m 46s fewer-skipped-proofs
fewer-skipped-proofs
February 27, 2025 15:56 13m 46s
Check proofs with TLAPM pre-release. Check Specs & Metadata #768: Commit 3428533 pushed by ahelwer
February 27, 2025 15:39 21m 56s master
master
February 27, 2025 15:39 21m 56s
fixed proof of LoopInvariance/BinarySearch Check Specs & Metadata #767: Pull request #159 opened by muenchnerkindl
February 27, 2025 15:16 25m 28s fixbinarysearch
fixbinarysearch
February 27, 2025 15:16 25m 28s
Fixing broken proof in LearnProofs/FindHighest Check Specs & Metadata #766: Pull request #158 opened by muenchnerkindl
February 27, 2025 14:27 25m 6s fixlearntla
fixlearntla
February 27, 2025 14:27 25m 6s
Finitizing monotonic systems Take2 Check Specs & Metadata #765: Pull request #155 synchronize by lemmy
February 26, 2025 00:24 29m 53s mku-FiniteMonotonic
mku-FiniteMonotonic
February 26, 2025 00:24 29m 53s
Finitizing monotonic systems Take2 Check Specs & Metadata #764: Pull request #155 synchronize by lemmy
February 26, 2025 00:18 4m 1s mku-FiniteMonotonic
mku-FiniteMonotonic
February 26, 2025 00:18 4m 1s
Finitizing monotonic systems Take2 Check Specs & Metadata #763: Pull request #155 synchronize by lemmy
February 26, 2025 00:11 3m 5s mku-FiniteMonotonic
mku-FiniteMonotonic
February 26, 2025 00:11 3m 5s
tlaplus-dispatch Check Specs & Metadata #762: Repository dispatch triggered by lemmy
February 26, 2025 00:03 29m 33s
February 26, 2025 00:03 29m 33s
Finitizing monotonic systems Take2 Check Specs & Metadata #761: Pull request #155 synchronize by lemmy
February 26, 2025 00:03 3m 55s mku-FiniteMonotonic
mku-FiniteMonotonic
February 26, 2025 00:03 3m 55s
Finitizing monotonic systems Take2 Check Specs & Metadata #760: Pull request #155 synchronize by lemmy
February 25, 2025 23:52 7m 31s mku-FiniteMonotonic
mku-FiniteMonotonic
February 25, 2025 23:52 7m 31s
tlaplus-dispatch Check Specs & Metadata #759: Repository dispatch triggered by lemmy
February 25, 2025 23:44 24m 17s
February 25, 2025 23:44 24m 17s
Finitizing monotonic systems Take2 Check Specs & Metadata #758: Pull request #155 synchronize by lemmy
February 25, 2025 23:40 21m 10s mku-FiniteMonotonic
mku-FiniteMonotonic
February 25, 2025 23:40 21m 10s
tlaplus-dispatch Check Specs & Metadata #757: Repository dispatch triggered by lemmy
February 25, 2025 16:04 37m 15s
February 25, 2025 16:04 37m 15s
tlaplus-dispatch Check Specs & Metadata #756: Repository dispatch triggered by lemmy
February 25, 2025 15:45 26m 18s
February 25, 2025 15:45 26m 18s
Don't use JVM assertions by default in scripts Check Specs & Metadata #755: Commit 3dfe008 pushed by ahelwer
February 17, 2025 21:30 24m 29s master
master
February 17, 2025 21:30 24m 29s
Don't use JVM assertions by default in scripts Check Specs & Metadata #754: Pull request #157 opened by ahelwer
February 17, 2025 20:58 26m 49s ahelwer:disable-assertions
ahelwer:disable-assertions
February 17, 2025 20:58 26m 49s
Finitizing monotonic systems Take2 Check Specs & Metadata #753: Pull request #155 synchronize by lemmy
February 16, 2025 16:20 45m 14s mku-FiniteMonotonic
mku-FiniteMonotonic
February 16, 2025 16:20 45m 14s
Finitizing monotonic systems Take2 Check Specs & Metadata #752: Pull request #155 synchronize by lemmy
February 16, 2025 16:19 2m 21s mku-FiniteMonotonic
mku-FiniteMonotonic
February 16, 2025 16:19 2m 21s
Added action composition feature flag Check Specs & Metadata #751: Commit cfb8a57 pushed by ahelwer
February 13, 2025 21:05 24m 36s master
master
February 13, 2025 21:05 24m 36s
Add action composition feature flag Check Specs & Metadata #750: Pull request #156 synchronize by ahelwer
February 13, 2025 20:38 25m 9s ahelwer:action-composition
ahelwer:action-composition
February 13, 2025 20:38 25m 9s
Add action composition feature flag Check Specs & Metadata #749: Pull request #156 synchronize by ahelwer
February 13, 2025 20:37 2m 56s ahelwer:action-composition
ahelwer:action-composition
February 13, 2025 20:37 2m 56s
Add action composition feature flag Check Specs & Metadata #748: Pull request #156 synchronize by ahelwer
February 13, 2025 20:36 2m 41s ahelwer:action-composition
ahelwer:action-composition
February 13, 2025 20:36 2m 41s
Add action composition feature flag Check Specs & Metadata #747: Pull request #156 opened by ahelwer
February 13, 2025 20:14 25m 8s ahelwer:action-composition
ahelwer:action-composition
February 13, 2025 20:14 25m 8s