Skip to content

Actions: midspiral/LemmaScript

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,011 workflow runs
1,011 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
narrow (ternary sibling of the if-return optChain-compare rule) CI #830: Pull request #170 synchronize by namin
7m 59s more-narrowing
more-narrowing
7m 59s
narrow (ternary sibling of the if-return optChain-compare rule) CI #829: Pull request #170 opened by namin
8m 25s more-narrowing
more-narrowing
8m 25s
zigzag example Site #172: Commit 4580ce8 pushed by namin
53s main
main
53s
zigzag example CI #828: Commit 4580ce8 pushed by namin
8m 58s main
main
8m 58s
upgrade to vickrey auction CI #827: Commit d5fd599 pushed by namin
8m 21s main
main
8m 21s
upgrade to vickrey auction Site #171: Commit d5fd599 pushed by namin
51s main
main
51s
Merge pull request #169 from midspiral/gen-or-narrow Site #170: Commit 2c86b3b pushed by namin
1m 2s main
main
1m 2s
Merge pull request #169 from midspiral/gen-or-narrow CI #826: Commit 2c86b3b pushed by namin
7m 52s main
main
7m 52s
Generalize or narrow CI #825: Pull request #169 synchronize by namin
8m 47s gen-or-narrow
gen-or-narrow
8m 47s
Merge pull request #168 from midspiral/coerce-truthy-object CI #824: Commit 47e0c00 pushed by namin
8m 54s main
main
8m 54s
Merge pull request #168 from midspiral/coerce-truthy-object Site #169: Commit 47e0c00 pushed by namin
42s main
main
42s
Generalize or narrow CI #823: Pull request #169 opened by namin
9m 7s gen-or-narrow
gen-or-narrow
9m 7s
coerce truthy objects for cond CI #822: Pull request #168 opened by namin
8m 48s coerce-truthy-object
coerce-truthy-object
8m 48s
Merge pull request #167 from midspiral/more-tweaks CI #821: Commit 0b288a8 pushed by namin
7m 39s main
main
7m 39s
Merge pull request #167 from midspiral/more-tweaks Site #168: Commit 0b288a8 pushed by namin
46s main
main
46s
more ops, and update docs CI #820: Pull request #167 opened by namin
7m 58s more-tweaks
more-tweaks
7m 58s
Merge pull request #166 from midspiral/tweaks Site #167: Commit 3560d7d pushed by namin
1m 17s main
main
1m 17s
Merge pull request #166 from midspiral/tweaks CI #819: Commit 3560d7d pushed by namin
8m 12s main
main
8m 12s
Tweaks CI #818: Pull request #166 opened by namin
9m 1s tweaks
tweaks
9m 1s
0.5.16 Release sync #6: Commit 2545d72 pushed by namin
20s v0.5.16
v0.5.16
20s
0.5.16 Release #5: Commit 2545d72 pushed by namin
47s v0.5.16
v0.5.16
47s
0.5.16 CI #817: Commit 2545d72 pushed by namin
10m 7s main
main
10m 7s
0.5.16 Site #166: Commit 2545d72 pushed by namin
1m 8s main
main
1m 8s
bump version in docs CI #816: Commit 6198327 pushed by namin
7m 55s main
main
7m 55s
bump version in docs Site #165: Commit 6198327 pushed by namin
22s main
main
22s