Skip to content

Actions: sireum/runtime

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
92 workflow runs
92 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
Reuse hash sets when adding existing elements CI #911: Commit b7f0834 pushed by robby-phd
20m 37s compiler-port
compiler-port
20m 37s
Remove redundant hash-map equality scan CI #910: Commit 1c4a1de pushed by robby-phd
4m 19s compiler-port
compiler-port
4m 19s
Preserve full identities in ScalaTest failure reports CI #909: Commit 6bf071e pushed by robby-phd
4m 4s compiler-port
compiler-port
4m 4s
Decode pooled document URIs as raw strings CI #908: Commit 4cbe32c pushed by robby-phd
29m 34s compiler-port
compiler-port
29m 34s
Fix JSON escaping for supplementary Unicode CI #907: Commit 76277e5 pushed by robby-phd
40m 15s master
master
40m 15s
CI CI #906: by robby-phd
4m 20s master
master
4m 20s
Avoid non-local returns in sequence equality CI #905: Commit e9b5fb9 pushed by robby-phd
22m 54s master
master
22m 54s
Restore Buffer-backed MessagePack sequence decoding CI #904: Commit 85dcb50 pushed by robby-phd
4m 18s master
master
4m 18s
Added custom ScalaTestReporter. CI #903: Commit 79d9a2a pushed by robby-phd
12m 52s master
master
12m 52s
Fix concurrent parMap pool lifecycle CI #902: Commit e0da687 pushed by robby-phd
49m 22s master
master
49m 22s
Fix Os.Path.touch metadata preservation CI #901: Commit d18203c pushed by robby-phd
3m 57s master
master
3m 57s
Optimized IS, MS, HashSMap --. CI #900: Commit fa0d54f pushed by robby-phd
4m 21s master
master
4m 21s
Added presentasi chapter marking/title. CI #899: Commit 986ac19 pushed by robby-phd
37m 0s master
master
37m 0s
Added background image Roboto commands and speak subtitle. CI #898: Commit 3282771 pushed by robby-phd
46m 43s master
master
46m 43s
Added Roboto script default speak gap. CI #897: Commit 70d86b2 pushed by robby-phd
19m 4s master
master
19m 4s
Restored String.stripMargin. CI #896: Commit baf6cea pushed by robby-phd
3m 52s master
master
3m 52s
Added Roboto MouseWheel. CI #895: Commit 152cc58 pushed by robby-phd
32m 16s master
master
32m 16s
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