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

Fixed scalap jar path. CI #753: Commit 3cdb8c5 pushed by robby-phd
January 8, 2025 18:08 3m 34s master
master
January 8, 2025 18:08 3m 34s
Updated copyright years. CI #752: Commit 849d2ab pushed by robby-phd
January 8, 2025 17:28 3m 43s master
master
January 8, 2025 17:28 3m 43s
Added scalap in DependencyManager.libMap instead of ignoring it. CI #751: Commit 1d7dd4f pushed by robby-phd
December 12, 2024 18:16 31m 7s master
master
December 12, 2024 18:16 31m 7s
Cleaned up. CI #750: Commit aeda6c8 pushed by robby-phd
December 12, 2024 16:24 1h 1m 31s master
master
December 12, 2024 16:24 1h 1m 31s
Cleaned up. CI #749: Commit c5f700d pushed by robby-phd
December 12, 2024 16:22 58s master
master
December 12, 2024 16:22 58s
Ignored org.scala-lang.scalap in DependencyManager. CI #748: Commit be25465 pushed by robby-phd
December 12, 2024 16:19 59s master
master
December 12, 2024 16:19 59s
Os.printParseableMessages truncates multi-line messages to the first … CI #747: Commit c984cff pushed by robby-phd
December 9, 2024 21:51 3m 36s master
master
December 9, 2024 21:51 3m 36s
Add 1 to end column of Os.printParseableMessages. CI #746: Commit 9853018 pushed by robby-phd
December 9, 2024 21:33 12m 39s master
master
December 9, 2024 21:33 12m 39s
Fixed handling of + in Coursier file path. CI #745: Commit b767696 pushed by robby-phd
November 22, 2024 13:56 28m 12s master
master
November 22, 2024 13:56 28m 12s
Added backtracking simplification justification -- ESimpl. CI #744: Commit bf9ae0d pushed by robby-phd
November 21, 2024 15:01 13m 13s master
master
November 21, 2024 15:01 13m 13s
Only patch mill in Windows. CI #743: Commit 481fd89 pushed by robby-phd
November 18, 2024 15:46 4m 10s master
master
November 18, 2024 15:46 4m 10s
Fixed mill windowsansi patching. CI #742: Commit 3608011 pushed by robby-phd
November 12, 2024 15:04 1h 0m 49s master
master
November 12, 2024 15:04 1h 0m 49s
Fixed typo. CI #741: Commit a22ae9c pushed by robby-phd
November 3, 2024 14:07 4m 59s master
master
November 3, 2024 14:07 4m 59s
Fixed vscodium installation in mac. CI #740: Commit 0e403b3 pushed by robby-phd
November 2, 2024 16:54 4m 39s master
master
November 2, 2024 16:54 4m 39s
Tweaked vscode extension installation. CI #739: Commit 7657bb5 pushed by robby-phd
November 2, 2024 14:38 4m 43s master
master
November 2, 2024 14:38 4m 43s
Added bin/.mill.ver in distro. CI #738: Commit 7eb24dc pushed by robby-phd
November 2, 2024 12:58 26m 31s master
master
November 2, 2024 12:58 26m 31s
Patch windows-ansi in mill to not throw IOException. CI #737: Commit 2d869cc pushed by robby-phd
November 2, 2024 11:08 26m 59s master
master
November 2, 2024 11:08 26m 59s
Fixed IVE distro Linux binfmt. CI #736: Commit cdfdc1c pushed by robby-phd
November 1, 2024 22:32 3m 28s master
master
November 1, 2024 22:32 3m 28s
Fixed IVE distro Linux binfmt. CI #735: Commit 4259587 pushed by robby-phd
November 1, 2024 22:28 3m 29s master
master
November 1, 2024 22:28 3m 29s
Use 7z for codeive Windows distro. CI #734: Commit 61969e9 pushed by robby-phd
November 1, 2024 21:27 3m 59s master
master
November 1, 2024 21:27 3m 59s
Added mill in distro. CI #733: Commit 90529c7 pushed by robby-phd
November 1, 2024 19:14 24m 45s master
master
November 1, 2024 19:14 24m 45s
Always use mill -i. CI #732: Commit 62004f9 pushed by robby-phd
November 1, 2024 19:07 15m 58s master
master
November 1, 2024 19:07 15m 58s
Check existence when excluding lib/cache in distros. CI #731: Commit 0391017 pushed by robby-phd
October 31, 2024 20:00 3m 32s master
master
October 31, 2024 20:00 3m 32s
Exclude lib/cache in distros. CI #730: Commit bfbe2f2 pushed by robby-phd
October 31, 2024 18:58 3m 37s master
master
October 31, 2024 18:58 3m 37s
Patched Metals to be less clippy. CI #729: Commit 52d216b pushed by robby-phd
October 30, 2024 19:46 22m 43s master
master
October 30, 2024 19:46 22m 43s