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

Print endLine and endColumn in Os.printParseableMessages. CI #577: Commit bac5e4e pushed by robby-phd
August 28, 2024 00:07 17m 43s master
master
August 28, 2024 00:07 17m 43s
Refactored printParseableMessages. CI #576: Commit fd05868 pushed by robby-phd
August 27, 2024 22:35 3m 19s master
master
August 27, 2024 22:35 3m 19s
Added Reporter.printParseableMessages API. CI #575: Commit e1ecf49 pushed by robby-phd
August 27, 2024 19:17 3m 5s master
master
August 27, 2024 19:17 3m 5s
Included Coursier native in distro. CI #574: Commit 32991ef pushed by robby-phd
August 27, 2024 18:37 10m 12s master
master
August 27, 2024 18:37 10m 12s
Use Coursier native. CI #573: Commit 6bcc7f5 pushed by robby-phd
August 27, 2024 16:20 48m 11s master
master
August 27, 2024 16:20 48m 11s
Set javac source/target and scalac release to 21. CI #572: Commit bcd6e66 pushed by robby-phd
August 27, 2024 13:33 42m 36s master
master
August 27, 2024 13:33 42m 36s
Added brave.cmd and vscodium.cmd in distro. CI #571: Commit 5551ec8 pushed by robby-phd
August 22, 2024 22:58 9m 52s master
master
August 22, 2024 22:58 9m 52s
Updated OptionsMinerTest. CI #570: Commit a10b137 pushed by robby-phd
August 13, 2024 19:46 3m 21s master
master
August 13, 2024 19:46 3m 21s
Allow line comment options to skip regular line comments. Store all o… CI #569: Commit a2fd2f9 pushed by robby-phd
August 13, 2024 18:58 9m 10s master
master
August 13, 2024 18:58 9m 10s
Handle InterruptedException in Os_Ext.proc. CI #568: Commit a526578 pushed by robby-phd
August 12, 2024 22:43 13m 30s master
master
August 12, 2024 22:43 13m 30s
Fixed 7z.sfx Linux amd64 name. CI #567: Commit e0aa57c pushed by robby-phd
August 12, 2024 03:26 3m 7s master
master
August 12, 2024 03:26 3m 7s
Made tipeable. CI #566: Commit 02e9418 pushed by robby-phd
August 12, 2024 01:19 17m 58s master
master
August 12, 2024 01:19 17m 58s
Added Os.Path.fromUri. CI #565: Commit 90e454c pushed by robby-phd
August 12, 2024 01:07 52s master
master
August 12, 2024 01:07 52s
Include .settings in distro. CI #564: Commit f27da1d pushed by robby-phd
August 12, 2024 00:01 21m 21s master
master
August 12, 2024 00:01 21m 21s
Made most Os detections based on the passed kind. CI #563: Commit 5b3ff6a pushed by robby-phd
August 11, 2024 21:38 3m 19s master
master
August 11, 2024 21:38 3m 19s
Download IVE.sh when setting up Linux. CI #562: Commit d8d8078 pushed by robby-phd
August 11, 2024 17:25 9m 51s master
master
August 11, 2024 17:25 9m 51s
Tweaked idea.properties and idea.vmoptions. Patch Info.plist. CI #561: Commit aa4c91f pushed by robby-phd
August 11, 2024 14:00 3m 13s master
master
August 11, 2024 14:00 3m 13s
Fixed relative paths of IVE config. CI #560: Commit 8b4717d pushed by robby-phd
August 10, 2024 15:10 3m 20s master
master
August 10, 2024 15:10 3m 20s
Updated idea config location using relative paths. CI #559: Commit 467ad43 pushed by robby-phd
August 10, 2024 15:01 10m 1s master
master
August 10, 2024 15:01 10m 1s
Tweaked idea config dir. CI #558: Commit a87ae95 pushed by robby-phd
August 9, 2024 23:12 9m 58s master
master
August 9, 2024 23:12 9m 58s
Set idea.config.path, etc. to use user.home if IVE is not installed i… CI #557: Commit 778ee73 pushed by robby-phd
August 9, 2024 22:33 34m 6s master
master
August 9, 2024 22:33 34m 6s
Added Os.Path.{isExecutable, isReadable, isWritable}. CI #556: Commit 5ae87a7 pushed by robby-phd
August 9, 2024 20:29 3m 17s master
master
August 9, 2024 20:29 3m 17s
Always write .settings in SIREUM_HOME. CI #555: Commit b68ed31 pushed by robby-phd
August 9, 2024 20:21 12m 35s master
master
August 9, 2024 20:21 12m 35s
Renamed idea to IVE in Linux distro. CI #554: Commit b1c0f10 pushed by robby-phd
August 9, 2024 18:20 17m 28s master
master
August 9, 2024 18:20 17m 28s
Updated CVC installation. CI #553: Commit 95e2a20 pushed by robby-phd
August 8, 2024 20:30 10m 1s master
master
August 8, 2024 20:30 10m 1s