Skip to content

Actions: rescala-lang/REScala

Actions

test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
760 workflow runs
760 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add bft benchmarks
test #767: Commit 1500c62 pushed by Kiibou-chan
September 16, 2024 08:19 11m 40s master
September 16, 2024 08:19 11m 40s
dependency updates
test #766: Commit a2b0555 pushed by rmgk
September 14, 2024 21:02 12m 53s master
September 14, 2024 21:02 12m 53s
dare acl wip example …
test #765: Commit d813903 pushed by rmgk
September 10, 2024 12:12 10m 52s master
September 10, 2024 12:12 10m 52s
update dependencies
test #764: Commit 60fca31 pushed by rmgk
September 6, 2024 09:59 10m 41s master
September 6, 2024 09:59 10m 41s
be more clever about Uid
test #763: Commit 40cd909 pushed by rmgk
September 3, 2024 16:37 20m 56s master
September 3, 2024 16:37 20m 56s
shorten jvm id for debug output
test #762: Commit ce970ec pushed by rmgk
September 3, 2024 16:25 25m 26s master
September 3, 2024 16:25 25m 26s
use likely collision free Uid generation
test #761: Commit 17d7406 pushed by rmgk
September 3, 2024 16:22 21m 2s master
September 3, 2024 16:22 21m 2s
use likely collision free Uid generation
test #760: Commit 7751eb4 pushed by rmgk
September 3, 2024 16:21 11m 42s master
September 3, 2024 16:21 11m 42s
update dependencies
test #759: Commit 5571fe1 pushed by rmgk
September 3, 2024 13:24 17m 27s master
September 3, 2024 13:24 17m 27s
move simple paxos test
test #758: Commit 4bc828b pushed by haaase
August 29, 2024 13:57 11m 52s 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
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
August 27, 2024 21:25 12m 52s
bugfix
test #755: Commit 17a00eb pushed by lh70
August 27, 2024 16:38 15m 44s 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
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
August 27, 2024 14:38 15m 10s
bugfix
test #752: Commit 6c6e284 pushed by lh70
August 27, 2024 14:25 13m 55s master
August 27, 2024 14:25 13m 55s
debug
test #751: Commit 19f23bc pushed by lh70
August 27, 2024 13:59 13m 4s 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
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
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
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
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
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
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
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
August 26, 2024 13:18 10m 6s