Skip to content

Actions: sireum/runtime

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
268 workflow runs
268 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Removed native zip/unzip. CI #702: Commit a59a08c pushed by robby-phd
October 26, 2024 16:58 14m 11s detached
detached
October 26, 2024 16:58 14m 11s
Disable native unzip in Windows due to a Graal issue. CI #701: Commit b24ea62 pushed by robby-phd
October 26, 2024 13:37 26m 14s master
master
October 26, 2024 13:37 26m 14s
Cleaned up. CI #700: Commit bf6c41a pushed by robby-phd
October 26, 2024 01:43 3m 17s master
master
October 26, 2024 01:43 3m 17s
Fixed CodeIVE packaging on Linux and macOS. CI #699: Commit 6866bc6 pushed by robby-phd
October 26, 2024 01:42 24m 29s master
master
October 26, 2024 01:42 24m 29s
Updated distro files. CI #698: Commit 0dedb28 pushed by robby-phd
October 26, 2024 00:06 11m 43s master
master
October 26, 2024 00:06 11m 43s
Fixed typos. CI #697: Commit 9e5a35f pushed by robby-phd
October 25, 2024 22:26 3m 30s master
master
October 25, 2024 22:26 3m 30s
Check whether 7zz is runnable in Linux and display appropriate steps … CI #696: Commit a4849d4 pushed by robby-phd
October 25, 2024 19:11 30m 7s master
master
October 25, 2024 19:11 30m 7s
Updated 7zz detection. CI #695: Commit 41cd637 pushed by robby-phd
October 25, 2024 16:56 3m 48s master
master
October 25, 2024 16:56 3m 48s
Move Init.install7zz to Init.deps. CI #694: Commit 63bb1d8 pushed by robby-phd
October 25, 2024 15:31 15m 51s master
master
October 25, 2024 15:31 15m 51s
Use 7zz to package distro. CI #693: Commit 2f71fb9 pushed by robby-phd
October 25, 2024 14:40 3m 18s master
master
October 25, 2024 14:40 3m 18s
Added Init.install7zz. Install 7zz in Init.basicDeps. CI #692: Commit ac8e827 pushed by robby-phd
October 25, 2024 13:46 27m 36s master
master
October 25, 2024 13:46 27m 36s
Fixed codeive Windows packaging. CI #691: Commit 36e1b3c pushed by robby-phd
October 24, 2024 21:45 3m 41s master
master
October 24, 2024 21:45 3m 41s
Use 7zr.exe on-demand in Windows when building distro. CI #690: Commit d6e9f2a pushed by robby-phd
October 24, 2024 21:12 4m 25s master
master
October 24, 2024 21:12 4m 25s
Download bsdtar on-demand in Windows when building distro. CI #689: Commit a878ea7 pushed by robby-phd
October 24, 2024 19:01 30m 50s master
master
October 24, 2024 19:01 30m 50s
Download cosmos' tar on-demand in Windows when building distro. CI #688: Commit 1ee8546 pushed by robby-phd
October 24, 2024 18:53 3m 34s master
master
October 24, 2024 18:53 3m 34s
Download bsdtar on-demand in Windows when building distro. CI #687: Commit a878ea7 pushed by robby-phd
October 24, 2024 17:21 3m 34s master
master
October 24, 2024 17:21 3m 34s
Use .tar.xz in Distro Windows. CI #686: Commit c20aae1 pushed by robby-phd
October 24, 2024 13:05 3m 49s master
master
October 24, 2024 13:05 3m 49s
Updated Init.installMill. CI #685: Commit c3248ea pushed by robby-phd
October 24, 2024 11:42 4m 6s master
master
October 24, 2024 11:42 4m 6s
Added VSCodium chrome-sandbox permission command in Linux. CI #684: Commit 00329fd pushed by robby-phd
October 23, 2024 21:04 36m 3s master
master
October 23, 2024 21:04 36m 3s
Made sure to create plugins dir. CI #683: Commit c5208a1 pushed by robby-phd
October 22, 2024 23:04 34m 5s master
master
October 22, 2024 23:04 34m 5s
Guard against a runaway thread exception when processing input in Os.… CI #682: Commit e77ab94 pushed by robby-phd
October 22, 2024 22:39 23m 40s master
master
October 22, 2024 22:39 23m 40s
Added Os.isLinuxArm. CI #681: Commit 7816ea2 pushed by robby-phd
October 22, 2024 19:55 45m 43s master
master
October 22, 2024 19:55 45m 43s
Allows forcefully initializing JDK/NIK. CI #680: Commit e00dd89 pushed by robby-phd
October 22, 2024 19:29 11m 31s master
master
October 22, 2024 19:29 11m 31s
Use z3 gmp in mac arm64. Copy vcruntime from Windows System32. CI #679: Commit 7908985 pushed by robby-phd
October 22, 2024 15:16 1h 16m 2s master
master
October 22, 2024 15:16 1h 16m 2s