Skip to content

Actions: sireum/kekinian

Actions

m2

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI-m2.yml
163 workflow runs
163 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update hamr codegen/sysml m2 #191: Commit 78e4233 pushed by jasonbelt
December 18, 2024 20:11 27m 28s master
master
December 18, 2024 20:11 27m 28s
update hamr sysml m2 #190: Commit 5926ca6 pushed by jasonbelt
December 17, 2024 16:01 22m 36s master
master
December 17, 2024 16:01 22m 36s
update hamr codegen m2 #189: Commit 4bcb84c pushed by jasonbelt
December 16, 2024 18:50 32m 57s master
master
December 16, 2024 18:50 32m 57s
Added AST View support for Slang .scala files. m2 #188: Commit 3e630db pushed by robby-phd
December 12, 2024 20:36 22m 18s 4.20241212.3e630db
4.20241212.3e630db
December 12, 2024 20:36 22m 18s
Added AST View support for Slang .scala files. m2 #187: Commit 3e630db pushed by robby-phd
December 12, 2024 18:25 22m 2s master
master
December 12, 2024 18:25 22m 2s
Added anvil. m2 #186: Commit 8b6a424 pushed by robby-phd
December 11, 2024 22:08 22m 12s master
master
December 11, 2024 22:08 22m 12s
Updated vscode client. [distro] m2 #185: Commit 66694fa pushed by robby-phd
December 11, 2024 21:28 22m 14s master
master
December 11, 2024 21:28 22m 14s
Updated IntelliJ client, and upgraded deps. m2 #183: Commit 1b6d052 pushed by robby-phd
December 10, 2024 19:53 21m 48s master
master
December 10, 2024 19:53 21m 48s
Updated IVE and CodeIVE clients. [distro] m2 #182: Commit 4661e85 pushed by robby-phd
December 10, 2024 15:46 21m 55s master
master
December 10, 2024 15:46 21m 55s
Updated runtime and logika. [distro] m2 #181: Commit 0b1b05b pushed by robby-phd
December 9, 2024 21:52 22m 33s master
master
December 9, 2024 21:52 22m 33s
Upgraded deps. [distro] m2 #179: Commit a179533 pushed by robby-phd
December 9, 2024 19:09 22m 11s master
master
December 9, 2024 19:09 22m 11s
Upgraded deps. [distro] m2 #178: Commit 4d05b52 pushed by robby-phd
December 9, 2024 16:40 23m 59s master
master
December 9, 2024 16:40 23m 59s
Upgraded deps. [distro] m2 #177: Commit f54efaa pushed by robby-phd
December 6, 2024 19:23 22m 16s master
master
December 6, 2024 19:23 22m 16s
Upgraded dep. [distro] m2 #176: Commit 29de75f pushed by robby-phd
December 4, 2024 14:31 22m 3s master
master
December 4, 2024 14:31 22m 3s
Updated logika. [distro] m2 #175: Commit c94661b pushed by robby-phd
December 3, 2024 01:00 22m 59s 4.20241202.c94661b
4.20241202.c94661b
December 3, 2024 01:00 22m 59s
Updated logika. [distro] m2 #174: Commit c94661b pushed by robby-phd
December 2, 2024 21:33 22m 9s master
master
December 2, 2024 21:33 22m 9s
Upgraded deps. [distro] m2 #173: Commit 1eaaa45 pushed by robby-phd
December 2, 2024 13:50 22m 56s master
master
December 2, 2024 13:50 22m 56s
update hamr codegen m2 #172: Commit 6daff75 pushed by jasonbelt
November 22, 2024 18:48 22m 44s master
master
November 22, 2024 18:48 22m 44s
update hamr codegen m2 #171: Commit 7d8d3f1 pushed by jasonbelt
November 22, 2024 17:43 22m 56s master
master
November 22, 2024 17:43 22m 56s
Updated dep. m2 #170: Commit a3b711d pushed by robby-phd
November 22, 2024 16:10 22m 1s 4.20241122.a3b711d
4.20241122.a3b711d
November 22, 2024 16:10 22m 1s
Upgraded deps. [distro] m2 #168: Commit 2d7077b pushed by robby-phd
November 22, 2024 14:21 22m 31s master
master
November 22, 2024 14:21 22m 31s
Revert "Upgraded dep. [distro]" m2 #166: Commit e660ca2 pushed by robby-phd
November 21, 2024 15:13 22m 2s master
master
November 21, 2024 15:13 22m 2s
Upgraded deps. m2 #164: Commit e1e945b pushed by robby-phd
November 21, 2024 13:11 21m 55s master
master
November 21, 2024 13:11 21m 55s
Made Logika Auto and Smt2 justifications to subsume natural deduction… m2 #163: Commit 43e92e1 pushed by robby-phd
November 20, 2024 23:40 22m 10s master
master
November 20, 2024 23:40 22m 10s
Made Logika Auto and Smt2 justifications to subsume natural deduction… m2 #162: Commit c1e1367 pushed by robby-phd
November 20, 2024 22:24 22m 3s master
master
November 20, 2024 22:24 22m 3s