Skip to content

Actions: tlaplus/Examples

Actions

Check Specs & Metadata

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
513 workflow runs
513 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Finitizing monotonic systems Check Specs & Metadata #227: Pull request #97 synchronize by ahelwer
November 22, 2023 17:02 15m 13s ahelwer:dlog-modeling
ahelwer:dlog-modeling
November 22, 2023 17:02 15m 13s
Finitizing monotonic systems Check Specs & Metadata #226: Pull request #97 opened by ahelwer
November 22, 2023 17:00 15m 38s ahelwer:dlog-modeling
ahelwer:dlog-modeling
November 22, 2023 17:00 15m 38s
tlaplus-dispatch Check Specs & Metadata #225: Repository dispatch triggered by lemmy
November 17, 2023 05:37 14m 6s
November 17, 2023 05:37 14m 6s
tlaplus-dispatch Check Specs & Metadata #224: Repository dispatch triggered by lemmy
November 15, 2023 21:21 16m 8s
November 15, 2023 21:21 16m 8s
tlaplus-dispatch Check Specs & Metadata #223: Repository dispatch triggered by lemmy
November 14, 2023 17:45 12m 47s
November 14, 2023 17:45 12m 47s
Add skip parameter to python scripts (#96) Check Specs & Metadata #222: Commit 68aec27 pushed by lemmy
November 14, 2023 17:24 12m 20s master
master
November 14, 2023 17:24 12m 20s
Implementing a TLA+ Specification: EWD998Chan Check Specs & Metadata #221: Pull request #75 synchronize by lemmy
November 13, 2023 18:19 14m 2s lemmy:mku-ewd998_impl
lemmy:mku-ewd998_impl
November 13, 2023 18:19 14m 2s
Add skip parameter to python scripts Check Specs & Metadata #220: Pull request #96 synchronize by ahelwer
November 11, 2023 17:32 14m 27s ahelwer:ci-script-exclude
ahelwer:ci-script-exclude
November 11, 2023 17:32 14m 27s
Add skip parameter to python scripts Check Specs & Metadata #219: Pull request #96 synchronize by ahelwer
November 11, 2023 17:03 14m 7s ahelwer:ci-script-exclude
ahelwer:ci-script-exclude
November 11, 2023 17:03 14m 7s
Add skip parameter to python scripts Check Specs & Metadata #218: Pull request #96 synchronize by ahelwer
November 11, 2023 15:54 14m 59s ahelwer:ci-script-exclude
ahelwer:ci-script-exclude
November 11, 2023 15:54 14m 59s
Add skip parameter to python scripts Check Specs & Metadata #217: Pull request #96 opened by ahelwer
November 11, 2023 15:35 14m 9s ahelwer:ci-script-exclude
ahelwer:ci-script-exclude
November 11, 2023 15:35 14m 9s
tlaplus-dispatch Check Specs & Metadata #216: Repository dispatch triggered by lemmy
November 9, 2023 01:52 13m 38s
November 9, 2023 01:52 13m 38s
tlaplus-dispatch Check Specs & Metadata #215: Repository dispatch triggered by lemmy
November 8, 2023 04:52 13m 56s
November 8, 2023 04:52 13m 56s
ProTip! You can narrow down the results and go further in time using created:<2023-11-08 or the other filters available.