Skip to content

Actions: rescala-lang/REScala

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
798 workflow runs
798 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

don’t depend on snapshots
test #193: Commit 6976da9 pushed by rmgk
February 11, 2024 20:20 16m 21s master
February 11, 2024 20:20 16m 21s
update dependencies
test #192: Commit b28e1a1 pushed by rmgk
February 11, 2024 20:04 10m 57s master
February 11, 2024 20:04 10m 57s
fix encrypted totofx
test #191: Commit e188664 pushed by rmgk
February 9, 2024 18:41 11m 27s master
February 9, 2024 18:41 11m 27s
example cleanup
test #190: Commit 8249bfc pushed by rmgk
February 8, 2024 12:46 8m 50s master
February 8, 2024 12:46 8m 50s
sometimes …
test #189: Commit a05e83b pushed by rmgk
February 6, 2024 21:22 15m 19s master
February 6, 2024 21:22 15m 19s
sometimes …
test #188: Commit f550ce6 pushed by rmgk
February 6, 2024 21:20 8m 32s master
February 6, 2024 21:20 8m 32s
nope, dont need DotFun alias
test #187: Commit 0c0410e pushed by rmgk
February 6, 2024 18:54 8m 8s master
February 6, 2024 18:54 8m 8s
we also don’t need dotset
test #186: Commit b089e46 pushed by rmgk
February 6, 2024 18:44 12m 52s master
February 6, 2024 18:44 12m 52s
simplify replicated list nextDot
test #185: Commit 7da89d4 pushed by rmgk
February 6, 2024 18:13 21m 40s master
February 6, 2024 18:13 21m 40s
remove syntax for voting
test #184: Commit b8e3a91 pushed by rmgk
February 6, 2024 17:54 15m 51s master
February 6, 2024 17:54 15m 51s
add a variant of the token voting
test #183: Commit 868410d pushed by rmgk
February 6, 2024 17:12 11m 30s master
February 6, 2024 17:12 11m 30s
paper optimizations
test #182: Commit 70519e4 pushed by rmgk
February 3, 2024 20:01 21m 54s master
February 3, 2024 20:01 21m 54s
improve name for paper
test #181: Commit 71e3cee pushed by rmgk
January 27, 2024 14:59 20m 13s master
January 27, 2024 14:59 20m 13s
add an automatic lexicographic ordering, and use it instead of error …
test #180: Commit 33d2acd pushed by rmgk
January 26, 2024 14:59 16m 50s master
January 26, 2024 14:59 16m 50s
fix grant
test #179: Commit 0d2dea3 pushed by rmgk
January 25, 2024 19:49 17m 20s master
January 25, 2024 19:49 17m 20s
add simplified token algorithm
test #178: Commit 84521bb pushed by rmgk
January 23, 2024 20:46 26m 20s master
January 23, 2024 20:46 26m 20s
random workflow changes in hopes to fix windows …
test #177: Commit b584162 pushed by rmgk
January 16, 2024 22:26 11m 34s master
January 16, 2024 22:26 11m 34s
dependency updates
test #176: Commit f876586 pushed by rmgk
January 14, 2024 22:48 18m 50s master
January 14, 2024 22:48 18m 50s
dependency updates
test #175: Commit 9d2fe2e pushed by rmgk
January 14, 2024 22:38 10m 44s master
January 14, 2024 22:38 10m 44s
update dependencies
test #174: Commit e9de6b5 pushed by rmgk
December 7, 2023 21:59 16m 3s master
December 7, 2023 21:59 16m 3s
add some bidi RP test
test #173: Commit 0e44dcb pushed by rmgk
December 4, 2023 15:57 15m 56s master
December 4, 2023 15:57 15m 56s
add some bidi RP test
test #172: Commit cf1477b pushed by rmgk
December 4, 2023 15:09 14m 19s master
December 4, 2023 15:09 14m 19s
derive replicated list lattice
test #171: Commit e8de5f6 pushed by rmgk
December 4, 2023 13:33 15m 33s master
December 4, 2023 13:33 15m 33s
ProTip! You can narrow down the results and go further in time using created:<2023-12-04 or the other filters available.