Skip to content

Actions: tlaplus/CommunityModules

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
177 workflow runs
177 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
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