Skip to content

Actions: sireum/kekinian

Actions

Distro

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI-distro.yml
284 workflow runs
284 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upgraded deps. [distro] Distro #319: Commit 9d1784a pushed by robby-phd
January 16, 2025 14:40 1h 44m 59s master
master
January 16, 2025 14:40 1h 44m 59s
Fixed Scala version. [distro] Distro #318: Commit 20107b2 pushed by robby-phd
January 15, 2025 22:09 1h 35m 45s 4.20250115.20107b2
4.20250115.20107b2
January 15, 2025 22:09 1h 35m 45s
Fixed Scala version. [distro] Distro #317: Commit 20107b2 pushed by robby-phd
January 15, 2025 20:08 1h 41m 55s master
master
January 15, 2025 20:08 1h 41m 55s
Upgraded deps. [distro] Distro #316: Commit 5bdae75 pushed by robby-phd
January 15, 2025 19:26 1h 23m 22s master
master
January 15, 2025 19:26 1h 23m 22s
Downgraded Scala (due to https://github.com/scala-js/scala-js/issues/… Distro #315: Commit 38af31a pushed by robby-phd
January 15, 2025 16:23 1h 44m 22s master
master
January 15, 2025 16:23 1h 44m 22s
Upgraded Scala. [distro] Distro #314: Commit e123f3b pushed by robby-phd
January 15, 2025 15:45 36m 4s master
master
January 15, 2025 15:45 36m 4s
Distro Distro #313: Manually run by robby-phd
January 14, 2025 20:42 1h 35m 53s master
master
January 14, 2025 20:42 1h 35m 53s
Distro Distro #312: Manually run by robby-phd
January 14, 2025 20:36 3m 16s master
master
January 14, 2025 20:36 3m 16s
Added Logika branch parallelization prediction options. Distro #311: Commit afc6b73 pushed by robby-phd
January 14, 2025 20:35 8s master
master
January 14, 2025 20:35 8s
Distro Distro #310: Manually run by robby-phd
January 14, 2025 17:01 1h 24m 11s master
master
January 14, 2025 17:01 1h 24m 11s
Added Logika branch parallelization prediction. Distro #309: Commit 1749419 pushed by robby-phd
January 14, 2025 16:58 9s master
master
January 14, 2025 16:58 9s
update forms dep Distro #308: Commit a687514 pushed by jasonbelt
January 14, 2025 15:34 8s master
master
January 14, 2025 15:34 8s
Upgraded deps. [distro] Distro #307: Commit ca2f8ed pushed by robby-phd
January 13, 2025 14:13 1h 25m 23s master
master
January 13, 2025 14:13 1h 25m 23s
Updated CodeIVE client. [distro] Distro #306: Commit d2cfffd pushed by robby-phd
January 10, 2025 21:59 15m 59s master
master
January 10, 2025 21:59 15m 59s
Updated bin/install.cmd. [distro] Distro #305: Commit b995730 pushed by robby-phd
January 9, 2025 19:33 1h 42m 16s master
master
January 9, 2025 19:33 1h 42m 16s
Distro Distro #304: Manually run by robby-phd
January 9, 2025 17:49 1h 47m 8s master
master
January 9, 2025 17:49 1h 47m 8s
Distro Distro #303: Manually run by robby-phd
January 9, 2025 14:52 1h 58m 6s master
master
January 9, 2025 14:52 1h 58m 6s
Upgraded deps. [distro] Distro #302: Commit 1dcda4f pushed by robby-phd
January 8, 2025 22:47 1h 30m 22s master
master
January 8, 2025 22:47 1h 30m 22s
update hamr codegen Distro #301: Commit e7df9a7 pushed by jasonbelt
January 8, 2025 20:31 8s master
master
January 8, 2025 20:31 8s
Upgraded deps. [distro] Distro #300: Commit ce3ff8f pushed by robby-phd
January 8, 2025 18:19 1h 46m 28s master
master
January 8, 2025 18:19 1h 46m 28s
update bin/install, hamr/codegen Distro #299: Commit 8c38f20 pushed by jasonbelt
January 7, 2025 17:00 9s master
master
January 7, 2025 17:00 9s
update hamr codegen, forms version Distro #298: Commit d3c137b pushed by jasonbelt
January 6, 2025 21:55 8s master
master
January 6, 2025 21:55 8s
update hamr codegen/sysml, tools Distro #297: Commit 61ccd36 pushed by jasonbelt
January 6, 2025 20:59 8s master
master
January 6, 2025 20:59 8s
update hamr codegen/sysml Distro #296: Commit 78e4233 pushed by jasonbelt
December 18, 2024 20:11 8s master
master
December 18, 2024 20:11 8s
update hamr sysml Distro #295: Commit 5926ca6 pushed by jasonbelt
December 17, 2024 16:01 9s master
master
December 17, 2024 16:01 9s