8000 CI · Workflow runs · tlaplus/tlaplus · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: tlaplus/tlaplus

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
321 workflow runs
321 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed JavaCC warnings introduced by Unicode work CI #1030: Commit db191cc pushed by Calvin-L
June 5, 2025 19:47 58m 39s master
master
June 5, 2025 19:47 58m 39s
Report distinct variable values observed in TLC coverage statistics. CI #1029: Commit 96056d9 pushed by lemmy
May 20, 2025 03:11 58m 57s master
master
May 20, 2025 03:11 58m 57s
Raise warning when symbol appears in Records. CI #1028: Commit 96778df pushed by lemmy
May 19, 2025 20:02 57m 25s master
master
May 19, 2025 20:02 57m 25s
tlaplus-dispatch CI #1027: Repository dispatch triggered by lemmy
May 15, 2025 20:26 55m 21s
May 15, 2025 20:26 55m 21s
tlaplus-dispatch CI #1026: Repository dispatch triggered by lemmy
May 13, 2025 21:49 57m 54s
May 13, 2025 21:49 57m 54s
Raise warning when symbol appears in Records. CI #1025: Commit e614959 pushed by lemmy
May 12, 2025 18:17 58m 57s master
master
May 12, 2025 18:17 58m 57s
Add extended documentation for TLC's (module) coverage statistics. CI #1024: Commit b3e5c56 pushed by lemmy
May 6, 2025 18:43 57m 15s master
master
May 6, 2025 18:43 57m 15s
Clarification is needed for Trace operator. CI #1023: Commit 081e312 pushed by lemmy
May 6, 2025 18:17 1h 7m 21s master
master
May 6, 2025 18:17 1h 7m 21s
Add extended documentation that discusses the difference between CI #1022: Commit 21974dc pushed by lemmy
May 2, 2025 21:27 59m 43s master
master
May 2, 2025 21:27 59m 43s
Create CNAME CI #1021: Commit 0310d5b pushed by lemmy
May 2, 2025 03:29 55m 0s master
master
May 2, 2025 03:29 55m 0s
Add extended documentation how to handle \E s \in Seq(S):... and `\A s CI #1020: Commit 09a6d15 pushed by lemmy
May 2, 2025 03:06 1h 0m 58s master
master
May 2, 2025 03:06 1h 0m 58s
Create CNAME CI #1019: Commit e9aa73a pushed by lemmy
May 1, 2025 21:12 52m 26s master
master
May 1, 2025 21:12 52m 26s
Delete CNAME CI #1018: Commit 6d4c8e8 pushed by lemmy
May 1, 2025 21:12 57m 41s master
master
May 1, 2025 21:12 57m 41s
Add 'tla' to fence markers of MongoRepl markdown file. CI #1017: Commit 9c1873f pushed by lemmy
May 1, 2025 18:30 55m 54s master
master
May 1, 2025 18:30 55m 54s
Create CNAME CI #1016: Commit a51aabb pushed by lemmy
May 1, 2025 16:20 1h 1m 7s master
master
May 1, 2025 16:20 1h 1m 7s
Improve error messages when TLC encounters an non-enumerable value. CI #1015: Commit 06bb2d5 pushed by lemmy
April 30, 2025 22:49 58m 32s master
master
April 30, 2025 22:49 58m 32s
tlaplus-dispatch CI #1014: Repository dispatch triggered by lemmy
April 29, 2025 20:59 57m 30s
April 29, 2025 20:59 57m 30s
tlaplus-dispatch CI #1013: Repository dispatch triggered by lemmy
April 29, 2025 19:10 56m 41s
April 29, 2025 19:10 56m 41s
See previous commit. CI #1012: Commit 416d6e5 pushed by lemmy
April 29, 2025 18:51 55m 28s master
master
April 29, 2025 18:51 55m 28s
tlaplus-dispatch CI #1011: Repository dispatch triggered by lemmy
April 29, 2025 18:28 57m 49s
April 29, 2025 18:28 57m 49s
Set and print repository dispatch payloads to distinguish sender of d… CI #1010: Commit d02afca pushed by lemmy
56m 49s master
master
April 29, 2025 18:09 56m 49s
tlaplus-dispatch CI #1009: Repository dispatch triggered by lemmy
April 29, 2025 16:28 59m 4s
April 29, 2025 16:28 59m 4s
Add a property to ensure TLC waits for execution statistics to be CI #1008: Commit 84a18ef pushed by lemmy
April 29, 2025 16:10 57m 59s master
master
April 29, 2025 16:10 57m 59s
tlaplus-dispatch CI #1007: Repository dispatch triggered by lemmy
April 27, 2025 04:13 54m 57s
April 27, 2025 04:13 54m 57s
Add ant target for building SANY as a Graal native image CI #1006: Commit 789535d pushed by Calvin-L
April 27, 2025 03:55 55m 32s master
master
April 27, 2025 03:55 55m 32s
0