Skip to content

Actions: sireum/kekinian

Actions

Linux

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI-linux.yml
733 workflow runs
733 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update hamr codegen/sysml Linux #2137: Commit 78e4233 pushed by jasonbelt
December 18, 2024 20:11 57m 54s master
master
December 18, 2024 20:11 57m 54s
update hamr sysml Linux #2136: Commit 5926ca6 pushed by jasonbelt
December 17, 2024 16:01 59m 13s master
master
December 17, 2024 16:01 59m 13s
update hamr codegen Linux #2135: Commit 4bcb84c pushed by jasonbelt
December 16, 2024 18:50 56m 49s master
master
December 16, 2024 18:50 56m 49s
Added AST View support for Slang .scala files. Linux #2134: Commit 3e630db pushed by robby-phd
December 12, 2024 18:25 58m 32s master
master
December 12, 2024 18:25 58m 32s
Added anvil. Linux #2133: Commit 8b6a424 pushed by robby-phd
December 11, 2024 22:08 1h 0m 0s master
master
December 11, 2024 22:08 1h 0m 0s
Updated vscode client. [distro] Linux #2132: Commit 66694fa pushed by robby-phd
December 11, 2024 21:28 57m 14s master
master
December 11, 2024 21:28 57m 14s
Updated IntelliJ client, and upgraded deps. Linux #2130: Commit 1b6d052 pushed by robby-phd
December 10, 2024 19:53 1h 0m 44s master
master
December 10, 2024 19:53 1h 0m 44s
Updated IVE and CodeIVE clients. [distro] Linux #2129: Commit 4661e85 pushed by robby-phd
December 10, 2024 15:46 1h 0m 50s master
master
December 10, 2024 15:46 1h 0m 50s
Updated runtime and logika. [distro] Linux #2128: Commit 0b1b05b pushed by robby-phd
December 9, 2024 21:52 58m 45s master
master
December 9, 2024 21:52 58m 45s
Upgraded deps. [distro] Linux #2126: Commit a179533 pushed by robby-phd
December 9, 2024 19:09 1h 0m 57s master
master
December 9, 2024 19:09 1h 0m 57s
Upgraded deps. [distro] Linux #2125: Commit 4d05b52 pushed by robby-phd
December 9, 2024 16:40 58m 50s master
master
December 9, 2024 16:40 58m 50s
Upgraded deps. [distro] Linux #2124: Commit f54efaa pushed by robby-phd
December 6, 2024 19:23 59m 34s master
master
December 6, 2024 19:23 59m 34s
Upgraded dep. [distro] Linux #2123: Commit 29de75f pushed by robby-phd
December 4, 2024 14:31 59m 8s master
master
December 4, 2024 14:31 59m 8s
Updated logika. [distro] Linux #2122: Commit c94661b pushed by robby-phd
December 2, 2024 21:33 1h 0m 3s master
master
December 2, 2024 21:33 1h 0m 3s
Upgraded deps. [distro] Linux #2121: Commit 1eaaa45 pushed by robby-phd
December 2, 2024 13:50 1h 4m 35s master
master
December 2, 2024 13:50 1h 4m 35s
update hamr codegen Linux #2120: Commit 6daff75 pushed by jasonbelt
November 22, 2024 18:48 1h 5m 44s master
master
November 22, 2024 18:48 1h 5m 44s
update hamr codegen Linux #2119: Commit 7d8d3f1 pushed by jasonbelt
November 22, 2024 17:43 58m 56s master
master
November 22, 2024 17:43 58m 56s
Updated dep. Linux #2118: Commit a3b711d pushed by robby-phd
November 22, 2024 16:10 1h 1m 34s master
master
November 22, 2024 16:10 1h 1m 34s
Upgraded deps. [distro] Linux #2117: Commit 2d7077b pushed by robby-phd
November 22, 2024 14:21 1h 1m 1s master
master
November 22, 2024 14:21 1h 1m 1s
Revert "Upgraded dep. [distro]" Linux #2115: Commit e660ca2 pushed by robby-phd
November 21, 2024 15:13 1h 0m 55s master
master
November 21, 2024 15:13 1h 0m 55s
Upgraded deps. Linux #2113: Commit e1e945b pushed by robby-phd
November 21, 2024 13:11 59m 24s master
master
November 21, 2024 13:11 59m 24s
Made Logika Auto and Smt2 justifications to subsume natural deduction… Linux #2112: Commit 43e92e1 pushed by robby-phd
November 20, 2024 23:40 59m 51s master
master
November 20, 2024 23:40 59m 51s
Made Logika Auto and Smt2 justifications to subsume natural deduction… Linux #2111: Commit c1e1367 pushed by robby-phd
November 20, 2024 22:24 46m 3s master
master
November 20, 2024 22:24 46m 3s
add missing distro installs when testing FMIDE Linux #2110: Commit 8bbdf58 pushed by jasonbelt
November 20, 2024 22:16 43m 48s master
master
November 20, 2024 22:16 43m 48s
update bin/install Linux #2109: Commit 994f439 pushed by jasonbelt
November 20, 2024 21:25 42m 48s master
master
November 20, 2024 21:25 42m 48s