Skip to content

Actions: midspiral/LemmaScript

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
816 workflow runs
816 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
Merge pull request #140 from midspiral/sortby Site #103: Commit 8c91148 pushed by namin
51s main
main
51s
Merge pull request #140 from midspiral/sortby CI #715: Commit 8c91148 pushed by namin
11m 57s main
main
11m 57s
sortby CI #714: Pull request #140 synchronize by namin
11m 42s sortby
sortby
11m 42s
sortby CI #713: Pull request #140 opened by namin
11m 32s sortby
sortby
11m 32s
Merge pull request #139 from midspiral/enum-index Site #102: Commit df1c2d7 pushed by namin
1m 22s main
main
1m 22s
Merge pull request #139 from midspiral/enum-index CI #712: Commit df1c2d7 pushed by namin
11m 29s main
main
11m 29s
wip on enum index CI #711: Pull request #139 synchronize by namin
11m 44s enum-index
enum-index
11m 44s
wip on enum index CI #710: Pull request #139 opened by namin
9m 58s enum-index
enum-index
9m 58s
rm ref to internal doc Site #101: Commit 241af79 pushed by namin
1m 16s main
main
1m 16s
rm ref to internal doc CI #709: Commit 241af79 pushed by namin
11m 4s main
main
11m 4s
Merge pull request #138 from midspiral/spread-merge CI #708: Commit 9c9c229 pushed by namin
12m 2s main
main
12m 2s
Merge pull request #138 from midspiral/spread-merge Site #100: Commit 9c9c229 pushed by namin
1m 20s main
main
1m 20s
spread by merge CI #707: Pull request #138 opened by namin
11m 45s spread-merge
spread-merge
11m 45s
Merge pull request #137 from midspiral/count-bad-pairs Site #99: Commit 32fde40 pushed by namin
57s main
main
57s
Merge pull request #137 from midspiral/count-bad-pairs CI #706: Commit 32fde40 pushed by namin
11m 47s main
main
11m 47s
revive example to count bad pairs CI #705: Pull request #137 opened by namin
12m 29s count-bad-pairs
count-bad-pairs
12m 29s
Merge pull request #136 from midspiral/preorder-mac CI #704: Commit f550dab pushed by namin
10m 57s main
main
10m 57s
Merge pull request #136 from midspiral/preorder-mac Site #98: Commit f550dab pushed by namin
47s main
main
47s
make sure preorder verifies on mac CI #703: Pull request #136 opened by namin
10m 49s preorder-mac
preorder-mac
10m 49s
Merge pull request #135 from midspiral/unshift CI #702: Commit a6a3c13 pushed by namin
10m 26s main
main
10m 26s
Merge pull request #135 from midspiral/unshift Site #97: Commit a6a3c13 pushed by namin
1m 7s main
main
1m 7s
unshift CI #701: Pull request #135 opened by namin
10m 53s unshift
unshift
10m 53s
Merge pull request #134 from midspiral/tweaks-case-study Site #96: Commit 735c5c2 pushed by namin
57s main
main
57s
Merge pull request #134 from midspiral/tweaks-case-study CI #700: Commit 735c5c2 pushed by namin
11m 7s main
main
11m 7s
misc tweaks CI #699: Pull request #134 opened by namin
10m 29s tweaks-case-study
tweaks-case-study
10m 29s