Skip to content

Actions: tlaplus/CommunityModules

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
173 workflow runs
173 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

more theorems about folds (#118) CI #862: Commit 90911bf pushed by muenchnerkindl
49s master
master
49s
more theorems about folds PR #16: Pull request #118 synchronize by muenchnerkindl
45s seqext
seqext
45s
more theorems about folds PR #15: Pull request #118 synchronize by muenchnerkindl
48s seqext
seqext
48s
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
more theorems about folds PR #14: Pull request #118 synchronize by muenchnerkindl
58s seqext
seqext
58s
more theorems about folds PR #13: Pull request #118 synchronize by muenchnerkindl
48s seqext
seqext
48s
more theorems about folds PR #12: Pull request #118 opened by muenchnerkindl
44s seqext
seqext
44s
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