Skip to content

Actions: Kraks/diamond-lang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
65 workflow runs
65 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix avoidance as per discussion; bidirectional algo Scala CI #114: Commit e266b11 pushed by Kraks
July 6, 2024 20:58 52s main
main
July 6, 2024 20:58 52s
avoidance algorithm Scala CI #113: Commit f000530 pushed by Kraks
July 4, 2024 21:10 52s main
main
July 4, 2024 21:10 52s
subtype checking Scala CI #112: Commit cd9a582 pushed by Kraks
July 4, 2024 15:46 58s main
main
July 4, 2024 15:46 58s
init and qualifier upcasting/checking Scala CI #111: Commit 029581c pushed by Kraks
July 2, 2024 20:28 1m 11s main
main
July 2, 2024 20:28 1m 11s
update sbt version Scala CI #110: Commit fcd5ae7 pushed by Kraks
July 2, 2024 14:15 1m 10s main
main
July 2, 2024 14:15 1m 10s
backup Scala CI #109: Commit 0c88867 pushed by Tantalus13A98B5F
February 3, 2024 15:44 1m 10s main
main
February 3, 2024 15:44 1m 10s
add borrowing test Scala CI #108: Commit 68bec5d pushed by Kraks
October 21, 2023 18:37 1m 1s main
main
October 21, 2023 18:37 1m 1s
two more avoidance Scala CI #107: Commit a05a7fc pushed by Tantalus13A98B5F
October 21, 2023 16:45 59s main
main
October 21, 2023 16:45 59s
more about function application Scala CI #106: Commit 6560229 pushed by Tantalus13A98B5F
October 21, 2023 16:35 55s main
main
October 21, 2023 16:35 55s
simply bidirectional Scala CI #105: Commit 15a1f87 pushed by Tantalus13A98B5F
October 21, 2023 04:15 1m 1s main
main
October 21, 2023 04:15 1m 1s
switch symbol Scala CI #104: Commit c8c0f1d pushed by Tantalus13A98B5F
October 21, 2023 04:10 57s main
main
October 21, 2023 04:10 57s
revised application rules Scala CI #103: Commit 158e494 pushed by Tantalus13A98B5F
October 20, 2023 19:12 1m 11s main
main
October 20, 2023 19:12 1m 11s
we don't need phi or typeEq Scala CI #102: Commit f90834e pushed by Tantalus13A98B5F
October 20, 2023 16:36 59s main
main
October 20, 2023 16:36 59s
complete the rest of the rules Scala CI #101: Commit 9085bdc pushed by Tantalus13A98B5F
October 19, 2023 19:47 55s main
main
October 19, 2023 19:47 55s
ref + cnd Scala CI #100: Commit 814e74a pushed by Tantalus13A98B5F
October 19, 2023 18:58 57s main
main
October 19, 2023 18:58 57s
let rules are more strange... Scala CI #99: Commit 5e0a153 pushed by Tantalus13A98B5F
October 19, 2023 18:37 1m 10s main
main
October 19, 2023 18:37 1m 10s
minor Scala CI #98: Commit c919258 pushed by Tantalus13A98B5F
October 18, 2023 21:54 55s main
main
October 18, 2023 21:54 55s
move to doc Scala CI #97: Commit c2d6905 pushed by Tantalus13A98B5F
October 18, 2023 21:47 55s main
main
October 18, 2023 21:47 55s
seemingly done for EApp Scala CI #96: Commit a4cebf0 pushed by Tantalus13A98B5F
October 18, 2023 21:42 1m 7s main
main
October 18, 2023 21:42 1m 7s
have some rules now Scala CI #95: Commit 233be68 pushed by Tantalus13A98B5F
October 18, 2023 20:45 1m 8s main
main
October 18, 2023 20:45 1m 8s
misc tests Scala CI #94: Commit ebf1f12 pushed by Kraks
October 17, 2023 20:50 1m 25s main
main
October 17, 2023 20:50 1m 25s
update README Scala CI #93: Commit 04ac211 pushed by Kraks
September 22, 2023 02:44 1m 12s main
main
September 22, 2023 02:44 1m 12s
misc Scala CI #92: Commit 94a1c75 pushed by Kraks
September 18, 2023 23:38 1m 0s main
main
September 18, 2023 23:38 1m 0s
more tests and some note Scala CI #91: Commit 6bfa406 pushed by Kraks
September 18, 2023 21:39 1m 13s main
main
September 18, 2023 21:39 1m 13s
not allowing Set() as domain in effect store Scala CI #90: Commit 74951ec pushed by Kraks
September 18, 2023 19:30 1m 3s main
main
September 18, 2023 19:30 1m 3s