Skip to content

Actions: rescala-lang/REScala

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
757 workflow runs
757 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

move simple paxos test test #758: Commit 4bc828b pushed by haaase
August 29, 2024 13:57 11m 52s master
master
August 29, 2024 13:57 11m 52s
observe-remove adjustment test #757: Commit 2407eb7 pushed by lh70
August 27, 2024 21:56 14m 59s master
master
August 27, 2024 21:56 14m 59s
clear in observe-remove test #756: Commit a4a3808 pushed by lh70
August 27, 2024 21:25 12m 52s master
master
August 27, 2024 21:25 12m 52s
bugfix test #755: Commit 17a00eb pushed by lh70
August 27, 2024 16:38 15m 44s master
master
August 27, 2024 16:38 15m 44s
added new observe-remove type that encodes add-remove relation into t… test #754: Commit 4bdc7a8 pushed by lh70
August 27, 2024 15:13 15m 53s master
master
August 27, 2024 15:13 15m 53s
add obremmap test test #753: Commit 7fa1520 pushed by rmgk
August 27, 2024 14:38 15m 10s master
master
August 27, 2024 14:38 15m 10s
bugfix test #752: Commit 6c6e284 pushed by lh70
August 27, 2024 14:25 13m 55s master
master
August 27, 2024 14:25 13m 55s
debug test #751: Commit 19f23bc pushed by lh70
August 27, 2024 13:59 13m 4s master
master
August 27, 2024 13:59 13m 4s
added merge to observer-remove rdt test #750: Commit 0610140 pushed by lh70
August 27, 2024 13:40 19m 0s master
master
August 27, 2024 13:40 19m 0s
removed buggy lock from ws connection test #749: Commit 3a0c4e4 pushed by lh70
August 27, 2024 12:55 14m 52s master
master
August 27, 2024 12:55 14m 52s
added observe-remove set rdt to case study test #748: Commit b4f2087 pushed by lh70
August 27, 2024 12:28 14m 39s master
master
August 27, 2024 12:28 14m 39s
add bottom instance to orset test #747: Commit 386b9f9 pushed by rmgk
August 26, 2024 21:42 10m 43s master
master
August 26, 2024 21:42 10m 43s
use filtered lattice for ObserveRemoveSet test #746: Commit e900030 pushed by rmgk
August 26, 2024 20:02 15m 10s master
master
August 26, 2024 20:02 15m 10s
improve paxos interface by caching proposed values test #745: Commit aa4d00b pushed by haaase
August 26, 2024 18:00 11m 44s master
master
August 26, 2024 18:00 11m 44s
fixed a node-filter on random and rdt router. test #744: Commit c8fb14c pushed by lh70
August 26, 2024 14:24 11m 17s master
master
August 26, 2024 14:24 11m 17s
added previous node handling to epidemic strat. rdt router bugfix. test #743: Commit e51f281 pushed by lh70
August 26, 2024 13:18 10m 6s master
master
August 26, 2024 13:18 10m 6s
rdt router adjustment test #742: Commit cad1b31 pushed by lh70
August 26, 2024 12:05 9m 58s master
master
August 26, 2024 12:05 9m 58s
sorted bar plot, new ratio comparison script. test #741: Commit f32a168 pushed by lh70
August 25, 2024 21:28 15m 15s master
master
August 25, 2024 21:28 15m 15s
jvm js bugfix test #740: Commit d9d7dd1 pushed by lh70
August 25, 2024 16:39 10m 42s master
master
August 25, 2024 16:39 10m 42s
disable dtn native module (cannot work due to borer missing) test #739: Commit 92cafbd pushed by rmgk
August 25, 2024 16:06 10m 3s master
master
August 25, 2024 16:06 10m 3s
Added Exception to file logging. Added new plot. Made simulation more… test #738: Commit 68e690a pushed by lh70
August 25, 2024 15:56 9m 15s master
master
August 25, 2024 15:56 9m 15s
experiment with filtered lattice test #737: Commit 65374f9 pushed by rmgk
August 24, 2024 14:48 19m 25s master
master
August 24, 2024 14:48 19m 25s
test test #736: by rmgk
August 24, 2024 14:48 9m 51s v0.36.0
v0.36.0
August 24, 2024 14:48 9m 51s
format/imports test #735: Commit 61a5b63 pushed by rmgk
August 24, 2024 12:53 9m 7s master
master
August 24, 2024 12:53 9m 7s
sort JVM examples test #734: Commit c761765 pushed by rmgk
August 24, 2024 12:41 13m 59s master
master
August 24, 2024 12:41 13m 59s