Skip to content

Actions: tlaplus/CommunityModules

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
156 workflow runs
156 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Restrict release Github Action workflow to master branch. CI #842: Commit d66e661 pushed by lemmy
59s master
master
59s
Add SVGDoc and SVGSerialize functions for SVG document creation and CI #841: Commit ab18c6a pushed by lemmy
1m 1s mku-SVGSerialize
mku-SVGSerialize
1m 1s
Add SVGDoc and SVGSerialize functions for SVG document creation and CI #840: Commit b652cc4 pushed by lemmy
1m 3s mku-SVGSerialize
mku-SVGSerialize
1m 3s
Add SVGDoc and SVGSerialize functions for SVG document creation and CI #839: Commit 9f14ef4 pushed by lemmy
59s mku-SVGSerialize
mku-SVGSerialize
59s