Skip to content

Actions: sireum/kekinian

Actions

Jitpack

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
110 workflow runs
110 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Upgraded dep. Jitpack #113: Commit a0dcfb3 pushed by robby-phd
October 17, 2024 11:31 8m 47s master
master
October 17, 2024 11:31 8m 47s
Fixed TypeHierarchy.induct on trees. Jitpack #112: Commit f954e07 pushed by robby-phd
October 17, 2024 11:09 2m 6s master
master
October 17, 2024 11:09 2m 6s
Fixed Logika transition caching wrt. Modifies clause. Jitpack #111: Commit 60c1a61 pushed by robby-phd
October 17, 2024 00:31 1m 40s 4.20241016.60c1a61
4.20241016.60c1a61
October 17, 2024 00:31 1m 40s
Fixed Logika transition caching wrt. Modifies clause. Jitpack #110: Commit 60c1a61 pushed by robby-phd
October 17, 2024 00:15 8m 50s master
master
October 17, 2024 00:15 8m 50s
remove air output Jitpack #109: Commit a65bba3 pushed by jasonbelt
October 16, 2024 22:03 44s master
master
October 16, 2024 22:03 44s
Upgraded Java. Jitpack #108: Commit c951559 pushed by robby-phd
October 16, 2024 20:22 9m 2s master
master
October 16, 2024 20:22 9m 2s
Upgraded idea client. Jitpack #107: Commit 1ee155a pushed by robby-phd
October 15, 2024 22:40 7m 42s master
master
October 15, 2024 22:40 7m 42s
update hamr codegen Jitpack #106: Commit b44e0b8 pushed by jasonbelt
October 15, 2024 21:32 9m 36s master
master
October 15, 2024 21:32 9m 36s
Fixed sireum logika verifier deps. Jitpack #105: Commit 35f6574 pushed by robby-phd
October 15, 2024 18:59 2m 8s master
master
October 15, 2024 18:59 2m 8s
Update bin/install. Jitpack #104: Commit 9f71e14 pushed by robby-phd
October 15, 2024 14:11 1m 22s 4.20241015.9f71e14
4.20241015.9f71e14
October 15, 2024 14:11 1m 22s
Update bin/install. Jitpack #103: Commit 9f71e14 pushed by robby-phd
October 15, 2024 13:21 2m 1s master
master
October 15, 2024 13:21 2m 1s
Upgraded vscode client. Jitpack #102: Commit 2d3d643 pushed by robby-phd
October 15, 2024 13:04 8m 48s master
master
October 15, 2024 13:04 8m 48s
Moved VSCodium mac installation to bin/mac/vscodium/VSCodium.app. Jitpack #101: Commit 411b04e pushed by robby-phd
October 14, 2024 19:24 1m 59s master
master
October 14, 2024 19:24 1m 59s
Added Slang symbol insertion, refactoring, and templating tasks in Si… Jitpack #100: Commit e9e7b5d pushed by robby-phd
October 14, 2024 15:24 8m 48s master
master
October 14, 2024 15:24 8m 48s
update hamr/codegen Jitpack #99: Commit 3644d44 pushed by jasonbelt
October 14, 2024 14:44 51s master
master
October 14, 2024 14:44 51s
Updated .jitpack.yml. Jitpack #98: Commit 3e3b67b pushed by robby-phd
October 13, 2024 18:16 1m 57s master
master
October 13, 2024 18:16 1m 57s
Updated runtime. Jitpack #97: Commit a183329 pushed by robby-phd
October 13, 2024 14:53 3m 19s master
master
October 13, 2024 14:53 3m 19s
Use zip in Distro Windows. Jitpack #96: Commit e19afce pushed by robby-phd
October 13, 2024 11:06 1m 57s master
master
October 13, 2024 11:06 1m 57s
Ignored bin/linux, bin/mac, and bin/win. Jitpack #95: Commit 45287de pushed by robby-phd
October 13, 2024 10:53 2m 3s master
master
October 13, 2024 10:53 2m 3s
Use tar.gz in Distro Windows. Jitpack #94: Commit 912577f pushed by robby-phd
October 13, 2024 01:26 2m 9s master
master
October 13, 2024 01:26 2m 9s
Use tar.bz2 in Distro Windows. Jitpack #93: Commit ad29912 pushed by robby-phd
October 12, 2024 22:44 2m 18s master
master
October 12, 2024 22:44 2m 18s
Added Slang refactoring and template insertion tools. Jitpack #92: Commit 247c7ab pushed by robby-phd
October 12, 2024 21:39 8m 46s master
master
October 12, 2024 21:39 8m 46s
Updated CI. Jitpack #91: Commit e3e74d2 pushed by robby-phd
October 12, 2024 19:40 2m 4s master
master
October 12, 2024 19:40 2m 4s
Distro packs as .tar.xz. Jitpack #90: Commit 9ca60f4 pushed by robby-phd
October 12, 2024 19:37 32s master
master
October 12, 2024 19:37 32s
Revert bin/platform deletions. Jitpack #89: Commit fa7028c pushed by robby-phd
October 12, 2024 19:07 50s master
master
October 12, 2024 19:07 50s