Skip to content

Actions: sireum/kekinian

Actions

macOS

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI-macOS.yml
734 workflow runs
734 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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