Skip to content

Actions: tlaplus/CommunityModules

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
180 workflow runs
180 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove tabs from VectorClocks.tla (#117) CI #858: Commit 6a0dac9 pushed by lemmy
52s master
master
52s
Remove tabs from VectorClocks.tla PR #11: Pull request #117 opened by ahelwer
45s ahelwer:remove-tabs
ahelwer:remove-tabs
45s
Merge pull request #116 from tlaplus/fold_proofs CI #857: Commit 8d6a226 pushed by muenchnerkindl
53s master
master
53s
theorem library for fold operators PR #10: Pull request #116 synchronize by muenchnerkindl
48s fold_proofs
fold_proofs
48s
Copilot code review Copilot code review #2: by Copilot AI
4m 36s refs/pull/116/head
refs/pull/116/head
4m 36s
theorem library for fold operators PR #9: Pull request #116 synchronize by muenchnerkindl
43s fold_proofs
fold_proofs
43s
theorem library for fold operators PR #8: Pull request #116 synchronize by muenchnerkindl
46s fold_proofs
fold_proofs
46s
theorem library for fold operators PR #7: Pull request #116 synchronize by muenchnerkindl
53s fold_proofs
fold_proofs
53s
theorem library for fold operators PR #6: Pull request #116 opened by muenchnerkindl
47s fold_proofs
fold_proofs
47s
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
Copilot code review Copilot code review #1: by Copilot AI
2m 5s refs/pull/115/head
refs/pull/115/head
2m 5s
Do not require CSV read/write operations to be state level. PR #5: Pull request #115 synchronize by lemmy
49s mku-CSVconst
mku-CSVconst
49s
Do not require CSV read/write operations to be state level. PR #4: Pull request #115 opened by lemmy
45s mku-CSVconst
mku-CSVconst
45s
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
IOSerialize and IODeserialize testing wrt. unseen string problem PR #3: Pull request #107 synchronize by fhackett
47s fhackett:fhackett-ioutils-tests
fhackett:fhackett-ioutils-tests
47s
Enhance SVGSerialize to use zero-padded frame numbers for consistent … CI #845: Commit 99115df pushed by lemmy
59s master
master
59s