Skip to content

Actions: rssh/dotty-cps-async

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
188 workflow runs
188 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

updated github action to node20 versions
Scala CI #539: Commit 0dd4b30 pushed by rssh
January 30, 2024 07:36 6h 0m 26s master
January 30, 2024 07:36 6h 0m 26s
added LogicStreamT
Scala CI #538: Commit cd12a2b pushed by rssh
January 29, 2024 16:23 4m 39s master
January 29, 2024 16:23 4m 39s
added logic monad
Scala CI #537: Commit 719705a pushed by rssh
January 29, 2024 16:13 6h 0m 25s master
January 29, 2024 16:13 6h 0m 25s
more logic tests
Scala CI #536: Commit e7aaac4 pushed by rssh
January 21, 2024 12:16 4m 49s master
January 21, 2024 12:16 4m 49s
better documentation for logic API
Scala CI #535: Commit 4cb2efb pushed by rssh
January 20, 2024 16:45 4m 26s master
January 20, 2024 16:45 4m 26s
initial version of Logic module
Scala CI #534: Commit 9d43449 pushed by rssh
January 20, 2024 16:06 4m 37s master
January 20, 2024 16:06 4m 37s
Implemented example with logical unification
Scala CI #533: Commit c6f4e28 pushed by rssh
January 13, 2024 18:08 4m 38s master
January 13, 2024 18:08 4m 38s
initial LogicStream implementation
Scala CI #532: Commit 4c8358a pushed by rssh
January 2, 2024 16:25 4m 36s master
January 2, 2024 16:25 4m 36s
simplicifiees LogicSeqT representation
Scala CI #531: Commit 1cfc66a pushed by rssh
January 1, 2024 10:24 2m 56s master
January 1, 2024 10:24 2m 56s
implemented LogicSeqT : optimized version of LogicT based on Reflec…
Scala CI #530: Commit e948ea7 pushed by rssh
December 29, 2023 13:03 4m 43s master
December 29, 2023 13:03 4m 43s
added CpsTryEffectMonad for monads which can be delayed but not async
Scala CI #529: Commit d7aecea pushed by rssh
December 29, 2023 13:01 4m 36s master
December 29, 2023 13:01 4m 36s
ported tests for CpsLogic
Scala CI #528: Commit 7da139a pushed by rssh
December 27, 2023 16:49 4m 44s master
December 27, 2023 16:49 4m 44s
added forgotten call to cancel current context on spawnTimeout
Scala CI #527: Commit 42b08fb pushed by rssh
December 27, 2023 14:04 3m 36s master
December 27, 2023 14:04 3m 36s
enforse lazy evaluation of infinite sequenc in logic
Scala CI #526: Commit fe0ab06 pushed by rssh
December 27, 2023 08:43 4m 23s master
December 27, 2023 08:43 4m 23s
removed temporary file
Scala CI #525: Commit 7dfb8f8 pushed by rssh
December 26, 2023 08:42 4m 25s master
December 26, 2023 08:42 4m 25s
sbt version update
Scala CI #524: Commit f15c4d5 pushed by rssh
December 26, 2023 08:41 4m 22s master
December 26, 2023 08:41 4m 22s
ported and added to test LogicT monad transformer
Scala CI #523: Commit c9e0f33 pushed by rssh
December 25, 2023 16:41 4m 24s master
December 25, 2023 16:41 4m 24s
small progress in formalization
Scala CI #522: Commit eded87a pushed by rssh
December 22, 2023 07:18 4m 26s master
December 22, 2023 07:18 4m 26s
added references and description of problems
Scala CI #521: Commit 4bc3374 pushed by rssh
December 21, 2023 16:14 4m 27s master
December 21, 2023 16:14 4m 27s
create js liker outpiut dir if not exists
Scala CI #520: Commit 7ffd085 pushed by rssh
December 17, 2023 12:35 4m 24s master
December 17, 2023 12:35 4m 24s
remove -Vprint outpt fro Example1 test
Scala CI #519: Commit 6f5b891 pushed by rssh
December 17, 2023 12:24 3m 45s master
December 17, 2023 12:24 3m 45s
macro make annotations compileTimeOnly
Scala CI #518: Commit ec8d49d pushed by rssh
December 17, 2023 12:14 3m 36s master
December 17, 2023 12:14 3m 36s
added continuations monad to examples
Scala CI #517: Commit 64fba0a pushed by rssh
December 10, 2023 11:41 4m 16s master
December 10, 2023 11:41 4m 16s
js-env and node - 1.4
Scala CI #516: Commit 1e9d1d2 pushed by rssh
November 20, 2023 22:01 4m 21s master
November 20, 2023 22:01 4m 21s
start implement running of scalajs compilation in tests
Scala CI #515: Commit 87094e3 pushed by rssh
November 20, 2023 21:11 2m 49s master
November 20, 2023 21:11 2m 49s