Skip to content

Actions: midspiral/LemmaScript

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
957 workflow runs
957 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 #159 from midspiral/reset-lean CI #798: Commit b9b1e2a pushed by namin
12m 44s main
main
12m 44s
Merge pull request #159 from midspiral/reset-lean Site #154: Commit b9b1e2a pushed by namin
1m 2s main
main
1m 2s
reset lean module CI #797: Pull request #159 synchronize by namin
12m 41s reset-lean
reset-lean
12m 41s
sweep doc update Site #153: Commit abfff93 pushed by namin
1m 12s main
main
1m 12s
sweep doc update CI #796: Commit abfff93 pushed by namin
12m 41s main
main
12m 41s
reset lean module CI #795: Pull request #159 opened by namin
12m 34s reset-lean
reset-lean
12m 34s
npm-publish env Site #152: Commit f03cd38 pushed by namin
1m 34s main
main
1m 34s
npm-publish env CI #794: Commit f03cd38 pushed by namin
12m 57s main
main
12m 57s
Merge pull request #158 from midspiral/trim CI #793: Commit 8eb337a pushed by namin
12m 48s main
main
12m 48s
Merge pull request #158 from midspiral/trim Site #151: Commit 8eb337a pushed by namin
39s main
main
39s
copy favicon from main website CI #792: Commit 6367977 pushed by namin
12m 56s main
main
12m 56s
copy favicon from main website Site #150: Commit 6367977 pushed by namin
1m 1s main
main
1m 1s
JS-accurate trim CI #791: Pull request #158 synchronize by namin
8m 38s trim
trim
8m 38s
JS-accurate trim CI #790: Pull request #158 opened by namin
12m 34s trim
trim
12m 34s
Merge branch 'field-size' CI #789: Commit 65e2471 pushed by namin
12m 55s main
main
12m 55s
Merge branch 'field-size' Site #149: Commit 65e2471 pushed by namin
58s main
main
58s
0.5.14 Release sync #4: Commit c632171 pushed by namin
18s v0.5.14
v0.5.14
18s
0.5.14 Release #3: Commit c632171 pushed by namin
40s v0.5.14
v0.5.14
40s
Merge pull request #157 from midspiral/field-size Site #148: Commit 1df5096 pushed by namin
53s main
main
53s
Merge pull request #157 from midspiral/field-size CI #788: Commit 1df5096 pushed by namin
12m 41s main
main
12m 41s
in dafny, make sure x.size for a field size is not translated as |x| CI #787: Pull request #157 opened by namin
11m 59s field-size
field-size
11m 59s
Merge pull request #156 from midspiral/narrow-cleanup Site #147: Commit e8bdf87 pushed by namin
50s main
main
50s
Merge pull request #156 from midspiral/narrow-cleanup CI #786: Commit e8bdf87 pushed by namin
12m 29s main
main
12m 29s
modest cleanup in narrow.ts CI #785: Pull request #156 opened by namin
12m 20s narrow-cleanup
narrow-cleanup
12m 20s
Merge pull request #155 from midspiral/match-pattern Site #146: Commit a1c5f54 pushed by namin
1m 0s main
main
1m 0s