Skip to content

Actions: sireum/kekinian

Actions

Install

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI-install.yml
84 workflow runs
84 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Install Install #91: Scheduled
December 29, 2024 01:46 6m 27s master
master
December 29, 2024 01:46 6m 27s
Install Install #90: Scheduled
December 22, 2024 01:45 36m 54s master
master
December 22, 2024 01:45 36m 54s
Install Install #89: Scheduled
December 15, 2024 01:54 28m 3s master
master
December 15, 2024 01:54 28m 3s
Added AST View support for Slang .scala files. Install #88: Commit 3e630db pushed by robby-phd
December 12, 2024 20:36 4m 42s 4.20241212.3e630db
4.20241212.3e630db
December 12, 2024 20:36 4m 42s
Install Install #87: Scheduled
December 8, 2024 01:54 3m 51s master
master
December 8, 2024 01:54 3m 51s
Updated logika. [distro] Install #86: Commit c94661b pushed by robby-phd
December 3, 2024 01:00 20m 43s 4.20241202.c94661b
4.20241202.c94661b
December 3, 2024 01:00 20m 43s
Install Install #85: Scheduled
December 1, 2024 02:01 3m 44s master
master
December 1, 2024 02:01 3m 44s
Install Install #84: Scheduled
November 24, 2024 01:49 11m 13s master
master
November 24, 2024 01:49 11m 13s
Updated dep. Install #83: Commit a3b711d pushed by robby-phd
November 22, 2024 16:10 21m 58s 4.20241122.a3b711d
4.20241122.a3b711d
November 22, 2024 16:10 21m 58s
Install Install #82: Scheduled
November 17, 2024 01:48 5m 14s master
master
November 17, 2024 01:48 5m 14s
Install Install #81: Scheduled
November 10, 2024 01:42 31m 11s master
master
November 10, 2024 01:42 31m 11s
Install Install #80: Manually run by robby-phd
November 4, 2024 15:13 2m 34s master
master
November 4, 2024 15:13 2m 34s
Install Install #77: Manually run by robby-phd
November 3, 2024 11:44 3m 10s master
master
November 3, 2024 11:44 3m 10s
Install Install #76: Scheduled
November 3, 2024 01:45 33m 12s master
master
November 3, 2024 01:45 33m 12s
Updated runtime. [distro] Install #75: Commit 60464f2 pushed by robby-phd
October 29, 2024 02:22 26m 37s 4.20241028.60464f2
4.20241028.60464f2
October 29, 2024 02:22 26m 37s
Install Install #74: Manually run by robby-phd
October 28, 2024 12:48 36m 16s master
master
October 28, 2024 12:48 36m 16s
Install Install #72: Scheduled
October 27, 2024 01:44 33m 13s master
master
October 27, 2024 01:44 33m 13s
Upgraded deps. Install #71: Commit 6da7a54 pushed by robby-phd
October 25, 2024 00:23 9m 29s 4.20241024.6da7a54
4.20241024.6da7a54
October 25, 2024 00:23 9m 29s
Install Install #69: Scheduled
October 20, 2024 01:45 2m 57s master
master
October 20, 2024 01:45 2m 57s
Updated bin/install. Install #68: Commit f6e1eff pushed by robby-phd
October 17, 2024 19:22 15m 43s 4.20241017.f6e1eff
4.20241017.f6e1eff
October 17, 2024 19:22 15m 43s
Fixed Logika transition caching wrt. Modifies clause. Install #67: Commit 60c1a61 pushed by robby-phd
October 17, 2024 00:31 6m 39s 4.20241016.60c1a61
4.20241016.60c1a61
October 17, 2024 00:31 6m 39s
Update bin/install. Install #66: Commit 9f71e14 pushed by robby-phd
October 15, 2024 14:11 3m 26s 4.20241015.9f71e14
4.20241015.9f71e14
October 15, 2024 14:11 3m 26s
Install Install #65: Manually run by robby-phd
October 13, 2024 18:37 27m 31s master
master
October 13, 2024 18:37 27m 31s
Install Install #64: Manually run by robby-phd
October 13, 2024 16:45 12m 26s master
master
October 13, 2024 16:45 12m 26s
Install Install #63: Scheduled
October 13, 2024 01:44 37m 20s master
master
October 13, 2024 01:44 37m 20s