Skip to content

Actions: miking-lang/miking

Actions

Miking CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
206 workflow runs
206 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Attribute grammars and invariant checking Miking CI #1268: Pull request #980 synchronize by elegios
32m 7s elegios:invariants
elegios:invariants
32m 7s
Attribute grammars and invariant checking Miking CI #1267: Pull request #980 opened by elegios
11m 55s elegios:invariants
elegios:invariants
11m 55s
Add more powerful lazy building block Miking CI #1266: Pull request #979 opened by elegios
36m 2s elegios:thunk
elegios:thunk
36m 2s
Replace the () -> a Lazy in eval with the stdlib Lazy Miking CI #1265: Pull request #978 opened by elegios
34m 41s elegios:eval-real-lazy
elegios:eval-real-lazy
34m 41s
Second version of the docgen tool. Miking CI #1264: Pull request #975 synchronize by ZivoMartin
32m 47s ZivoMartin:develop
ZivoMartin:develop
32m 47s
Have keyword-maker process constructor application arguments Miking CI #1263: Pull request #976 opened by elegios
31m 54s elegios:keyword-maker-constructor-arguments
elegios:keyword-maker-constructor-arguments
31m 54s
Second version of the docgen tool. Miking CI #1262: Pull request #975 synchronize by ZivoMartin
32m 28s ZivoMartin:develop
ZivoMartin:develop
32m 28s
Second version of the docgen tool. Miking CI #1261: Pull request #975 synchronize by ZivoMartin
29m 48s ZivoMartin:develop
ZivoMartin:develop
29m 48s
Second version of the docgen tool. Miking CI #1260: Pull request #975 opened by ZivoMartin
15m 45s ZivoMartin:develop
ZivoMartin:develop
15m 45s
Pair dist Miking CI #1259: Pull request #969 synchronize by gizemcaylak
15m 3s gizemcaylak:pairDist
gizemcaylak:pairDist
15m 3s
Add eitherCmp function Miking CI #1258: Pull request #970 synchronize by elegios
31m 21s elegios:eitherCmp
elegios:eitherCmp
31m 21s
Higher-order abstract syntax and a simple inlining pass Miking CI #1257: Pull request #965 synchronize by elegios
30m 34s elegios:hoas-inline-single-use
elegios:hoas-inline-single-use
30m 34s
Fix these.mc helpers for working with This and That separately Miking CI #1256: Pull request #974 synchronize by elegios
31m 29s elegios:these-fixes
elegios:these-fixes
31m 29s
Higher-order abstract syntax and a simple inlining pass Miking CI #1255: Pull request #965 synchronize by elegios
31m 23s elegios:hoas-inline-single-use
elegios:hoas-inline-single-use
31m 23s
Various pprint fixes Miking CI #1254: Pull request #973 synchronize by elegios
30m 57s elegios:pprint-fixes
elegios:pprint-fixes
30m 57s
Higher-order abstract syntax and a simple inlining pass Miking CI #1253: Pull request #965 synchronize by elegios
31m 53s elegios:hoas-inline-single-use
elegios:hoas-inline-single-use
31m 53s
Make boot respect the ordering of MCORE_LIBS Miking CI #1252: Pull request #972 synchronize by elegios
30m 33s elegios:boot_mcore_libs_order
elegios:boot_mcore_libs_order
30m 33s
Fix these.mc helpers for working with This and That separately Miking CI #1251: Pull request #974 opened by elegios
35m 7s elegios:these-fixes
elegios:these-fixes
35m 7s
Various pprint fixes Miking CI #1250: Pull request #973 opened by elegios
25m 21s elegios:pprint-fixes
elegios:pprint-fixes
25m 21s
Make boot respect the ordering of MCORE_LIBS Miking CI #1249: Pull request #972 synchronize by elegios
11m 23s elegios:boot_mcore_libs_order
elegios:boot_mcore_libs_order
11m 23s
Make foldl2 non-recursive (it recurses via foldl only) Miking CI #1248: Pull request #971 synchronize by elegios
31m 44s elegios:foldl2-recursive
elegios:foldl2-recursive
31m 44s
Move autoty_* into language fragments Miking CI #1247: Pull request #966 synchronize by elegios
34m 59s elegios:autoty-fragments
elegios:autoty-fragments
34m 59s
Add eitherCmp function Miking CI #1246: Pull request #970 synchronize by elegios
31m 44s elegios:eitherCmp
elegios:eitherCmp
31m 44s
Higher-order abstract syntax and a simple inlining pass Miking CI #1245: Pull request #965 synchronize by elegios
16m 43s elegios:hoas-inline-single-use
elegios:hoas-inline-single-use
16m 43s
Preserve more type annotations in shallow.mc Miking CI #1244: Pull request #964 synchronize by elegios
34m 49s elegios:more-type-annotations-shallow
elegios:more-type-annotations-shallow
34m 49s