Skip to content

Actions: tlaplus/Examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
79 workflow run results
79 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use CHECK_DEADLOCK config file parameter Check Specs & Metadata #252: Pull request #103 synchronize by ahelwer
January 14, 2024 15:54 14m 36s ahelwer:check-deadlock-flag
ahelwer:check-deadlock-flag
January 14, 2024 15:54 14m 36s
Install TLAUC in gitpod & codespaces Check Specs & Metadata #251: Pull request #104 opened by ahelwer
January 14, 2024 15:46 14m 41s ahelwer:devcontainer-tlauc
ahelwer:devcontainer-tlauc
January 14, 2024 15:46 14m 41s
Use CHECK_DEADLOCK config file parameter Check Specs & Metadata #250: Pull request #103 opened by ahelwer
January 14, 2024 15:43 11m 20s ahelwer:check-deadlock-flag
ahelwer:check-deadlock-flag
January 14, 2024 15:43 11m 20s
Applied Specifying Systems errata fix to exercises (#102) Check Specs & Metadata #249: Commit 9194122 pushed by muenchnerkindl
January 14, 2024 14:21 15m 24s master
master
January 14, 2024 14:21 15m 24s
Applied Specifying Systems errata fix to exercises Check Specs & Metadata #248: Pull request #102 opened by ahelwer
January 14, 2024 13:46 15m 24s ahelwer:ss-liveness-error
ahelwer:ss-liveness-error
January 14, 2024 13:46 15m 24s
tlaplus-dispatch Check Specs & Metadata #247: Repository dispatch triggered by lemmy
January 10, 2024 06:31 15m 9s
January 10, 2024 06:31 15m 9s
tlaplus-dispatch Check Specs & Metadata #246: Repository dispatch triggered by lemmy
January 5, 2024 05:52 14m 35s
January 5, 2024 05:52 14m 35s
tlaplus-dispatch Check Specs & Metadata #245: Repository dispatch triggered by lemmy
January 3, 2024 00:00 16m 3s
January 3, 2024 00:00 16m 3s
tlaplus-dispatch Check Specs & Metadata #244: Repository dispatch triggered by lemmy
December 28, 2023 21:06 14m 42s
December 28, 2023 21:06 14m 42s
tlaplus-dispatch Check Specs & Metadata #243: Repository dispatch triggered by lemmy
December 23, 2023 19:57 12m 27s
December 23, 2023 19:57 12m 27s
tlaplus-dispatch Check Specs & Metadata #242: Repository dispatch triggered by lemmy
December 22, 2023 03:01 14m 41s
December 22, 2023 03:01 14m 41s
tlaplus-dispatch Check Specs & Metadata #241: Repository dispatch triggered by lemmy
December 18, 2023 22:52 17m 14s
December 18, 2023 22:52 17m 14s
tlaplus-dispatch Check Specs & Metadata #240: Repository dispatch triggered by lemmy
December 16, 2023 06:11 14m 28s
December 16, 2023 06:11 14m 28s
tlaplus-dispatch Check Specs & Metadata #239: Repository dispatch triggered by lemmy
December 7, 2023 20:17 17m 5s
December 7, 2023 20:17 17m 5s
tlaplus-dispatch Check Specs & Metadata #238: Repository dispatch triggered by lemmy
December 7, 2023 20:05 18m 16s
December 7, 2023 20:05 18m 16s
Add first batch of linked example specs as submodules to the examples… Check Specs & Metadata #237: Commit c7e0ca3 pushed by lemmy
December 7, 2023 00:03 14m 37s master
master
December 7, 2023 00:03 14m 37s
Add first batch of linked example specs as submodules to the examples… Check Specs & Metadata #236: Commit f0407d6 pushed by lemmy
December 6, 2023 23:55 13m 20s master
master
December 6, 2023 23:55 13m 20s
"The DifferenceZero property does not match the comment. The property… Check Specs & Metadata #235: Commit df7f099 pushed by lemmy
December 6, 2023 23:49 15m 18s master
master
December 6, 2023 23:49 15m 18s
tlaplus-dispatch Check Specs & Metadata #234: Repository dispatch triggered by lemmy
December 1, 2023 22:42 12m 37s
December 1, 2023 22:42 12m 37s
tlaplus-dispatch Check Specs & Metadata #233: Repository dispatch triggered by lemmy
December 1, 2023 04:29 16m 49s
December 1, 2023 04:29 16m 49s
tlaplus-dispatch Check Specs & Metadata #232: Repository dispatch triggered by lemmy
December 1, 2023 01:38 13m 52s
December 1, 2023 01:38 13m 52s
Finitizing monotonic systems (#97) Check Specs & Metadata #231: Commit 2369052 pushed by lemmy
December 1, 2023 00:41 16m 4s master
master
December 1, 2023 00:41 16m 4s
tlaplus-dispatch Check Specs & Metadata #230: Repository dispatch triggered by lemmy
November 30, 2023 20:29 13m 47s
November 30, 2023 20:29 13m 47s
Finitizing monotonic systems Check Specs & Metadata #229: Pull request #97 synchronize by ahelwer
November 24, 2023 01:19 17m 21s ahelwer:dlog-modeling
ahelwer:dlog-modeling
November 24, 2023 01:19 17m 21s
Finitizing monotonic systems Check Specs & Metadata #228: Pull request #97 synchronize by ahelwer
November 22, 2023 20:43 13m 8s ahelwer:dlog-modeling
ahelwer:dlog-modeling
November 22, 2023 20:43 13m 8s