Skip to content

Actions: sireum/runtime

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
264 workflow runs
264 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Limit 7z thread to 3 when building Windows distro due to OoM in GitHu… CI #727: Commit 455114b pushed by robby-phd
October 29, 2024 21:40 3m 31s master
master
October 29, 2024 21:40 3m 31s
Limit 7z thread to 2 when building Windows distro due to OoM in GitHu… CI #726: Commit 7b9f463 pushed by robby-phd
October 29, 2024 19:06 3m 51s master
master
October 29, 2024 19:06 3m 51s
Fixed sha3 version string rendering. CI #725: Commit 33b49f0 pushed by robby-phd
October 28, 2024 23:02 27m 5s master
master
October 28, 2024 23:02 27m 5s
Fixed sha3 version string rendering. CI #724: Commit fd8d5e6 pushed by robby-phd
October 28, 2024 22:53 3m 31s master
master
October 28, 2024 22:53 3m 31s
Added Os.Path.sha3 and Os.Ext.sha3. Use sireum.jar sha3 when versioni… CI #723: Commit 01d8ba0 pushed by robby-phd
October 28, 2024 22:40 3m 32s master
master
October 28, 2024 22:40 3m 32s
Updated Init.buildForms. CI #722: Commit d9afb12 pushed by robby-phd
October 28, 2024 22:07 3m 54s master
master
October 28, 2024 22:07 3m 54s
Added forms versioning. CI #721: Commit 244b2f5 pushed by robby-phd
October 28, 2024 21:45 28m 16s master
master
October 28, 2024 21:45 28m 16s
Added Init.buildForms. CI #720: Commit 9ddae25 pushed by robby-phd
October 28, 2024 21:33 3m 17s master
master
October 28, 2024 21:33 3m 17s
Added URL support in sireum proyek dep. CI #719: Commit 1c09ecf pushed by robby-phd
October 28, 2024 20:42 3m 22s master
master
October 28, 2024 20:42 3m 22s
Added file URI in proyek ivy deps. CI #718: Commit 8ef3b50 pushed by robby-phd
October 28, 2024 18:52 4m 10s master
master
October 28, 2024 18:52 4m 10s
Use bin/.mill.ver for Mill version. CI #717: Commit 116217c pushed by robby-phd
October 28, 2024 02:25 48m 24s master
master
October 28, 2024 02:25 48m 24s
Use bin/.binfmt file to enable binfmt checking (once). CI #716: Commit 4529a20 pushed by robby-phd
October 28, 2024 02:22 3m 24s master
master
October 28, 2024 02:22 3m 24s
Use bin/.binfmt file to enable binfmt checking (once). CI #715: Commit c8e4010 pushed by robby-phd
October 28, 2024 02:20 3m 25s master
master
October 28, 2024 02:20 3m 25s
Use bin/.binfmt file to enable binfmt checking after 7zz installation. CI #714: Commit 4ee3923 pushed by robby-phd
October 28, 2024 02:17 28m 30s master
master
October 28, 2024 02:17 28m 30s
Refined Init.install7zz. CI #713: Commit 6ed22ed pushed by robby-phd
October 27, 2024 18:23 3m 20s master
master
October 27, 2024 18:23 3m 20s
Refined Init.install7zz. CI #712: Commit ac3b8d2 pushed by robby-phd
October 27, 2024 18:16 50m 31s master
master
October 27, 2024 18:16 50m 31s
Use 7zz.ver 1-day timestamping to notify binfmt message in Linux. CI #711: Commit f81e71b pushed by robby-phd
October 27, 2024 18:13 19m 19s master
master
October 27, 2024 18:13 19m 19s
Use 7zz.ver timestamping to notify binfmt message in Linux. CI #710: Commit 7f2a298 pushed by robby-phd
October 27, 2024 18:03 33m 34s master
master
October 27, 2024 18:03 33m 34s
Fixed Os_Ext.removeAll. CI #709: Commit 4e11dc4 pushed by robby-phd
October 27, 2024 16:00 3m 36s master
master
October 27, 2024 16:00 3m 36s
Always check 7zz binfmt in Linux once even it's already installed. CI #708: Commit d1e377b pushed by robby-phd
October 27, 2024 15:32 3m 33s master
master
October 27, 2024 15:32 3m 33s
Only display binfmt message in Linux when installing 7zz. CI #707: Commit 8cda153 pushed by robby-phd
October 27, 2024 15:01 35m 19s master
master
October 27, 2024 15:01 35m 19s
Fixed native unzip in Windows. CI #706: Commit cdbf1b7 pushed by robby-phd
October 27, 2024 14:06 51m 4s master
master
October 27, 2024 14:06 51m 4s
Enabled native unzip using 7zz in Windows. Os.removeAll sets file to … CI #705: Commit 88cd460 pushed by robby-phd
October 27, 2024 13:43 3m 16s master
master
October 27, 2024 13:43 3m 16s
Switched to runtime check to disable native unzip in Windows. CI #704: Commit ba5e794 pushed by robby-phd
October 26, 2024 20:23 13m 46s master
master
October 26, 2024 20:23 13m 46s
Include .ver files in Distro. CI #703: Commit f4325dc pushed by robby-phd
October 26, 2024 18:56 6m 24s master
master
October 26, 2024 18:56 6m 24s