Skip to content

Actions: sireum/kekinian

Actions

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI-windows.yml
735 workflow runs
735 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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