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

Added unclonable record and anvil.{hls, test} annotation support. CI #777: Commit 64dfb03 pushed by robby-phd
March 9, 2025 14:10 3m 41s master
master
March 9, 2025 14:10 3m 41s
Added parMapUnordered and mParMapUnordered. CI #776: Commit 0e5eed8 pushed by robby-phd
March 9, 2025 12:56 3m 27s master
master
March 9, 2025 12:56 3m 27s
Fixed anvil.Printer.{load, store}. CI #775: Commit c56ad21 pushed by robby-phd
March 8, 2025 19:58 3m 33s master
master
March 8, 2025 19:58 3m 33s
Added anvil.Printer.{load, store, printStackTrace}. CI #774: Commit e5848f8 pushed by robby-phd
March 7, 2025 20:44 19m 3s master
master
March 7, 2025 20:44 19m 3s
Use bit masking instead of remainder in anvil.Printer methods. CI #773: Commit df75e6d pushed by robby-phd
March 5, 2025 13:11 3m 28s master
master
March 5, 2025 13:11 3m 28s
Tweaked printing methods. CI #772: Commit f1d8ec6 pushed by robby-phd
March 4, 2025 13:43 3m 44s master
master
March 4, 2025 13:43 3m 44s
Tweaked anvil.Printer. CI #771: Commit 40516dd pushed by robby-phd
March 4, 2025 02:09 12m 51s master
master
March 4, 2025 02:09 12m 51s
Tweaked anvil.Printer. CI #770: Commit 821a133 pushed by robby-phd
March 4, 2025 00:05 32m 51s master
master
March 4, 2025 00:05 32m 51s
Added anvil.Printer.printString. CI #769: Commit 6899af8 pushed by robby-phd
March 3, 2025 14:27 3m 35s master
master
March 3, 2025 14:27 3m 35s
Added anvil.Printer.{printB, printC}. CI #768: Commit a35e289 pushed by robby-phd
February 28, 2025 21:44 3m 36s master
master
February 28, 2025 21:44 3m 36s
Added anvil.Printer. CI #767: Commit 9028b3b pushed by robby-phd
February 28, 2025 19:48 3m 29s master
master
February 28, 2025 19:48 3m 29s
Updated developers. CI #766: Commit b39d34e pushed by robby-phd
February 25, 2025 19:16 3m 33s master
master
February 25, 2025 19:16 3m 33s
Updated developers. CI #765: Commit 4dbe78f pushed by robby-phd
February 25, 2025 15:54 3m 51s master
master
February 25, 2025 15:54 3m 51s
Upgraded scalafmt. CI #764: Commit 559d96b pushed by robby-phd
February 21, 2025 20:29 1h 0m 10s master
master
February 21, 2025 20:29 1h 0m 10s
Fixed Coursier versioning. CI #763: Commit 960b268 pushed by robby-phd
February 10, 2025 13:03 1h 14m 48s master
master
February 10, 2025 13:03 1h 14m 48s
Fixed Init.installMaryTTS. CI #762: Commit 6229814 pushed by robby-phd
February 9, 2025 14:09 3m 43s master
master
February 9, 2025 14:09 3m 43s
Use Coursier jar when SIREUM_COURSIER_JAR env var is defined. CI #761: Commit 6d18b6b pushed by robby-phd
February 7, 2025 20:06 15m 19s master
master
February 7, 2025 20:06 15m 19s
Use coursier.jar in Windows arm64. CI #760: Commit 5524918 pushed by robby-phd
February 6, 2025 20:55 9m 53s master
master
February 6, 2025 20:55 9m 53s
Updated mill download URL. CI #759: Commit 6a969f9 pushed by robby-phd
January 31, 2025 22:58 3m 52s master
master
January 31, 2025 22:58 3m 52s
Fixed distro file map. CI #758: Commit 78f9d0f pushed by robby-phd
January 25, 2025 20:17 3m 51s master
master
January 25, 2025 20:17 3m 51s
Use cvc5 cosmocc build. CI #757: Commit a4f33ba pushed by robby-phd
January 25, 2025 17:46 3m 53s master
master
January 25, 2025 17:46 3m 53s
Updated z3 versioning. CI #756: Commit f830968 pushed by robby-phd
January 24, 2025 16:48 3m 49s master
master
January 24, 2025 16:48 3m 49s
Use z3 cosmocc build. CI #755: Commit 5fadab5 pushed by robby-phd
January 24, 2025 16:29 9m 2s master
master
January 24, 2025 16:29 9m 2s
Handled -jdk8.jar names. CI #754: Commit 0d276f5 pushed by robby-phd
January 15, 2025 15:37 25m 12s master
master
January 15, 2025 15:37 25m 12s
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