Skip to content

Actions: miking-lang/miking

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
255 workflow runs
255 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updates necessary for supporting tuning in mi-ocaml Miking CI #830: Pull request #814 opened by lingmar
December 21, 2023 13:00 31m 28s lingmar:mi-ocaml-updates
lingmar:mi-ocaml-updates
December 21, 2023 13:00 31m 28s
Added support for the negative binomial and geometric distributions. Miking CI #829: Pull request #813 opened by kudlicka
December 19, 2023 09:31 37m 38s kudlicka:develop
kudlicka:develop
December 19, 2023 09:31 37m 38s
Constructor types and exhaustiveness checker Miking CI #828: Pull request #807 synchronize by aathn
December 14, 2023 16:51 10m 37s aathn:typechecker-updates
aathn:typechecker-updates
December 14, 2023 16:51 10m 37s
Constructor types and exhaustiveness checker Miking CI #827: Pull request #807 synchronize by aathn
December 14, 2023 13:59 18m 3s aathn:typechecker-updates
aathn:typechecker-updates
December 14, 2023 13:59 18m 3s
Reptypes (AKA the stuff underlying universal collection types) Miking CI #826: Pull request #811 synchronize by elegios
December 14, 2023 13:10 48m 17s elegios:uct-pr
elegios:uct-pr
December 14, 2023 13:10 48m 17s
Reptypes (AKA the stuff underlying universal collection types) Miking CI #825: Pull request #811 synchronize by elegios
December 14, 2023 12:54 14m 41s elegios:uct-pr
elegios:uct-pr
December 14, 2023 12:54 14m 41s
Constructor types and exhaustiveness checker Miking CI #824: Pull request #807 synchronize by aathn
December 14, 2023 11:01 12m 58s aathn:typechecker-updates
aathn:typechecker-updates
December 14, 2023 11:01 12m 58s
Extend MiniZinc API with better solution parsing and options Miking CI #823: Pull request #812 opened by lingmar
December 14, 2023 10:56 1h 2m 31s lingmar:cp-add
lingmar:cp-add
December 14, 2023 10:56 1h 2m 31s
Reptypes (AKA the stuff underlying universal collection types) Miking CI #822: Pull request #811 synchronize by elegios
December 6, 2023 17:12 53m 2s elegios:uct-pr
elegios:uct-pr
December 6, 2023 17:12 53m 2s
Reptypes (AKA the stuff underlying universal collection types) Miking CI #821: Pull request #811 opened by elegios
December 6, 2023 14:36 56m 56s elegios:uct-pr
elegios:uct-pr
December 6, 2023 14:36 56m 56s
Make handling of names in mlang nominal Miking CI #820: Pull request #810 opened by elegios
November 30, 2023 16:04 47m 40s elegios:only-nominal
elegios:only-nominal
November 30, 2023 16:04 47m 40s
Final steps of using the specialize keyword in compiled programs Miking CI #819: Pull request #775 synchronize by adamssonj
November 29, 2023 23:21 1h 6m 50s adamssonj:pevalDynlink
adamssonj:pevalDynlink
November 29, 2023 23:21 1h 6m 50s
Final steps of using the specialize keyword in compiled programs Miking CI #818: Pull request #775 synchronize by adamssonj
November 29, 2023 19:58 1h 2m 29s adamssonj:pevalDynlink
adamssonj:pevalDynlink
November 29, 2023 19:58 1h 2m 29s
Update the compiler after changes to the typechecker and mlang transformation Miking CI #817: Pull request #809 synchronize by elegios
November 16, 2023 20:10 9m 7s elegios:nominal-mlang
elegios:nominal-mlang
November 16, 2023 20:10 9m 7s
Update the compiler after changes to the typechecker and mlang transformation Miking CI #816: Pull request #809 synchronize by elegios
November 16, 2023 19:48 10m 36s elegios:nominal-mlang
elegios:nominal-mlang
November 16, 2023 19:48 10m 36s
Update the compiler after changes to the typechecker and mlang transformation Miking CI #815: Pull request #809 synchronize by elegios
November 16, 2023 19:48 16m 19s elegios:nominal-mlang
elegios:nominal-mlang
November 16, 2023 19:48 16m 19s
Update the compiler after changes to the typechecker and mlang transformation Miking CI #814: Pull request #809 synchronize by elegios
November 16, 2023 19:06 11m 20s elegios:nominal-mlang
elegios:nominal-mlang
November 16, 2023 19:06 11m 20s
Update the compiler after changes to the typechecker and mlang transformation Miking CI #813: Pull request #809 synchronize by elegios
November 16, 2023 18:58 11m 52s elegios:nominal-mlang
elegios:nominal-mlang
November 16, 2023 18:58 11m 52s
Update the compiler after changes to the typechecker and mlang transformation Miking CI #812: Pull request #809 synchronize by elegios
November 16, 2023 17:59 10m 7s elegios:nominal-mlang
elegios:nominal-mlang
November 16, 2023 17:59 10m 7s
Update the compiler after changes to the typechecker and mlang transformation Miking CI #811: Pull request #809 synchronize by elegios
November 16, 2023 17:58 59m 14s elegios:nominal-mlang
elegios:nominal-mlang
November 16, 2023 17:58 59m 14s
Update the compiler after changes to the typechecker and mlang transformation Miking CI #810: Pull request #809 synchronize by elegios
November 16, 2023 15:39 19m 14s elegios:nominal-mlang
elegios:nominal-mlang
November 16, 2023 15:39 19m 14s
Update the compiler after changes to the typechecker and mlang transformation Miking CI #809: Pull request #809 synchronize by elegios
November 16, 2023 15:25 29m 3s elegios:nominal-mlang
elegios:nominal-mlang
November 16, 2023 15:25 29m 3s
Update the compiler after changes to the typechecker and mlang transformation Miking CI #808: Pull request #809 synchronize by elegios
November 16, 2023 14:57 10m 51s elegios:nominal-mlang
elegios:nominal-mlang
November 16, 2023 14:57 10m 51s
Update the compiler after changes to the typechecker and mlang transformation Miking CI #807: Pull request #809 synchronize by elegios
November 16, 2023 10:04 15m 12s elegios:nominal-mlang
elegios:nominal-mlang
November 16, 2023 10:04 15m 12s
Update the compiler after changes to the typechecker and mlang transformation Miking CI #806: Pull request #809 synchronize by elegios
November 15, 2023 19:17 9m 29s elegios:nominal-mlang
elegios:nominal-mlang
November 15, 2023 19:17 9m 29s