Skip to content

Actions: tlaplus/CommunityModules

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
220 workflow runs
220 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
tlaplus-dispatch CI #943: Repository dispatch triggered by lemmy
12m 7s
12m 7s
tlaplus-dispatch CI #942: Repository dispatch triggered by lemmy
16m 7s
16m 7s
tlaplus-dispatch CI #941: Repository dispatch triggered by lemmy
14m 32s
14m 32s
tlaplus-dispatch CI #940: Repository dispatch triggered by lemmy
10m 23s
10m 23s
tlaplus-dispatch CI #939: Repository dispatch triggered by lemmy
8m 58s
8m 58s
tlaplus-dispatch CI #938: Repository dispatch triggered by lemmy
13m 47s
13m 47s
Theorems for sum of constant function CI #937: Commit a20cc8e pushed by lemmy
13m 45s master
master
13m 45s
Theorems for sum of constant function PR #34: Pull request #124 synchronize by lemmy
11m 4s mku-FuncTheorem
mku-FuncTheorem
11m 4s
Theorems for sum of constant function PR #33: Pull request #124 synchronize by lemmy
16m 18s mku-FuncTheorem
mku-FuncTheorem
16m 18s
Theorems for sum of constant function PR #32: Pull request #124 synchronize by muenchnerkindl
15m 32s mku-FuncTheorem
mku-FuncTheorem
15m 32s
Copilot code review Copilot code review #5: by Copilot AI
2m 48s refs/pull/124/head
refs/pull/124/head
2m 48s
Theorems for sum of constant function PR #31: Pull request #124 synchronize by lemmy
11m 59s mku-FuncTheorem
mku-FuncTheorem
11m 59s
Theorems for sum of constant function PR #30: Pull request #124 synchronize by lemmy
11m 27s mku-FuncTheorem
mku-FuncTheorem
11m 27s
Theorems for sum of constant function PR #29: Pull request #124 synchronize by lemmy
18m 43s mku-FuncTheorem
mku-FuncTheorem
18m 43s
Copilot code review Copilot code review #4: by Copilot AI
4m 35s refs/pull/124/head
refs/pull/124/head
4m 35s
Theorems for sum of constant function PR #28: Pull request #124 opened by lemmy
1m 3s mku-FuncTheorem
mku-FuncTheorem
1m 3s
tlaplus-dispatch CI #936: Repository dispatch triggered by lemmy
1m 3s
1m 3s
tlaplus-dispatch CI #935: Repository dispatch triggered by lemmy
1m 12s
1m 12s
tlaplus-dispatch CI #934: Repository dispatch triggered by lemmy
58s
58s
tlaplus-dispatch CI #933: Repository dispatch triggered by lemmy
1m 17s
1m 17s
tlaplus-dispatch CI #932: Repository dispatch triggered by lemmy
1m 30s
1m 30s
add ToBag operator (#123) CI #931: Commit 3ecb8c6 pushed by muenchnerkindl
1m 8s master
master
1m 8s
add ToBag operator PR #27: Pull request #123 synchronize by muenchnerkindl
1m 4s seqtobag
seqtobag
1m 4s
add ToBag operator PR #26: Pull request #123 synchronize by muenchnerkindl
1m 24s seqtobag
seqtobag
1m 24s
add ToBag operator PR #25: Pull request #123 opened by muenchnerkindl
58s seqtobag
seqtobag
58s