Skip to content

Actions: sireum/runtime

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
123 workflow runs
123 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Fixed HashSMap.-. CI #894: Commit 3e2075c pushed by robby-phd
4m 36s master
master
4m 36s
Added Roboto hide/show mouse cursor commands. CI #893: Commit a8431f6 pushed by robby-phd
41m 43s master
master
41m 43s
Made {Map, Set}.hash insertion order insensitive. CI #892: Commit f34cb86 pushed by robby-phd
3m 56s master
master
3m 56s
Removed Buffer and BufferTest. CI #891: Commit 3326199 pushed by robby-phd
4m 2s master
master
4m 2s
Fixed MS ++, --, and -. CI #890: Commit 10ccfa9 pushed by robby-phd
4m 18s master
master
4m 18s
Removed sireum-mcp.bat. CI #889: Commit ee1680c pushed by robby-phd
5m 21s master
master
5m 21s
Revert "Install NIK by default instead of JDK." CI #888: Commit 4f951ff pushed by robby-phd
6m 14s master
master
6m 14s
Use NIK musl in Linux. CI #887: Commit 6f08839 pushed by robby-phd
30m 18s master
master
30m 18s
Added StringBuilder and tests. Added StringOps.chunk. CI #886: Commit a2614d5 pushed by robby-phd
13m 38s master
master
13m 38s
Port BuiltInTypes.slang to LL(2) syntax. CI #885: Commit 96d3e5d pushed by robby-phd
7m 48s master
master
7m 48s
Removed fullLine and javascript-plugin in distro. CI #884: Commit cf3ef73 pushed by robby-phd
4m 22s master
master
4m 22s
Updated Os.Path.readLines to use non-streaming Os_Ext.readLines. CI #883: Commit 5bdf9e2 pushed by robby-phd
16m 52s master
master
16m 52s
Changed to use Thread.threadId instead of getId. CI #882: Commit c5059a5 pushed by robby-phd
3m 12s master
master
3m 12s
Added Json.{stringify, parse}. CI #881: Commit a12b229 pushed by robby-phd
10m 15s master
master
10m 15s
Added more installs and disabled install7zzWasm. CI #880: Commit a45c27e pushed by robby-phd
3m 41s master
master
3m 41s
Added Os.download timeout. CI #879: Commit aa0f0a5 pushed by robby-phd
3m 40s master
master
3m 40s
Use forked SysIDE. CI #878: Commit eb24509 pushed by robby-phd
4m 6s master
master
4m 6s
Added WasmServer and cvc5 and 7zz WASM servers. CI #877: Commit 104486f pushed by robby-phd
4m 44s master
master
4m 44s
Fixed Init tipe. CI #876: Commit 6b38b59 pushed by robby-phd
4m 24s master
master
4m 24s
Use legacy SysIDE in Linux and Window arm64. CI #875: Commit 757c0bd pushed by robby-phd
50s master
master
50s
Fixed MSZOpsUtil.slice generic type I to be '@index'. CI #874: Commit 2944fa6 pushed by robby-phd
4m 4s master
master
4m 4s
Added BitsOptimizer. CI #873: Commit cfb77dc pushed by robby-phd
4m 17s safe
safe
4m 17s
Updated deps. CI #872: Commit d359896 pushed by robby-phd
3m 51s safe
safe
3m 51s
Updated SysIDE IDE patching. CI #871: Commit 924e76c pushed by robby-phd
4m 49s safe
safe
4m 49s
test changes CI #870: Commit 3dcc0fc pushed by robby-phd
3m 47s test
test
3m 47s