Skip to content

Actions: tlaplus/CommunityModules

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
159 workflow runs
159 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tlaplus-dispatch CI #867: Repository dispatch triggered by lemmy
46s
46s
tlaplus-dispatch CI #866: Repository dispatch triggered by lemmy
53s
53s
tlaplus-dispatch CI #865: Repository dispatch triggered by lemmy
50s
50s
tlaplus-dispatch CI #864: Repository dispatch triggered by lemmy
55s
55s
Update SVGSerialize to use three-digit zero-padding for frame numbers… CI #863: Commit 4c5f273 pushed by lemmy
1m 0s master
master
1m 0s
more theorems about folds (#118) CI #862: Commit 90911bf pushed by muenchnerkindl
49s master
master
49s
tlaplus-dispatch CI #861: Repository dispatch triggered by lemmy
44s
44s
tlaplus-dispatch CI #860: Repository dispatch triggered by lemmy
45s
45s
tlaplus-dispatch CI #859: Repository dispatch triggered by lemmy
44s
44s
Remove tabs from VectorClocks.tla (#117) CI #858: Commit 6a0dac9 pushed by lemmy
52s master
master
52s
Merge pull request #116 from tlaplus/fold_proofs CI #857: Commit 8d6a226 pushed by muenchnerkindl
53s master
master
53s
tlaplus-dispatch CI #856: Repository dispatch triggered by lemmy
47s
47s
tlaplus-dispatch CI #855: Repository dispatch triggered by lemmy
47s
47s
tlaplus-dispatch CI #854: Repository dispatch triggered by lemmy
48s
48s
tlaplus-dispatch CI #853: Repository dispatch triggered by lemmy
49s
49s
tlaplus-dispatch CI #852: Repository dispatch triggered by lemmy
48s
48s
tlaplus-dispatch CI #851: Repository dispatch triggered by lemmy
47s
47s
tlaplus-dispatch CI #850: Repository dispatch triggered by lemmy
49s
49s
Do not require CSV read/write operations to be state level. CI #849: Commit f5db5ee pushed by lemmy
58s master
master
58s
tlaplus-dispatch CI #848: Repository dispatch triggered by lemmy
44s
44s
tlaplus-dispatch CI #847: Repository dispatch triggered by lemmy
53s
53s
Add new string deserialize test CI #846: Commit 406867e pushed by lemmy
53s master
master
53s
Enhance SVGSerialize to use zero-padded frame numbers for consistent … CI #845: Commit 99115df pushed by lemmy
59s master
master
59s
tlaplus-dispatch CI #844: Repository dispatch triggered by lemmy
54s
54s
Add SVGDoc and SVGSerialize functions for SVG document creation and CI #843: Commit 2470e94 pushed by lemmy
1m 7s master
master
1m 7s