Skip to content

Actions: Linyxus/cavia

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

drop one todo Scala CI #17: Commit e133a50 pushed by Linyxus
11s main
main
11s
drop one todo Scala CI #16: Commit 765e4d3 pushed by Linyxus
11s main
main
11s
add examples for capture application Scala CI #15: Commit 0093596 pushed by Linyxus
11s main
main
11s
enrich the example Scala CI #14: Commit 057962f pushed by Linyxus
13s main
main
13s
bound check Scala CI #13: Commit d1103c8 pushed by Linyxus
17s main
main
17s
type application Scala CI #12: Commit a6d61ea pushed by Linyxus
11s main
main
11s
use ArrayBuffer Scala CI #11: Commit 452b6a9 pushed by Linyxus
18s main
main
18s
define capture and term substitution Scala CI #10: Commit f91abbe pushed by Linyxus
12s main
main
12s
make numeric literals polymorphic Scala CI #9: Commit 17be368 pushed by Linyxus
13s main
main
13s
refactor Scala CI #8: Commit 9ed4ada pushed by Linyxus
12s main
main
12s
more tests for application Scala CI #7: Commit 7f9dc9f pushed by Linyxus
12s main
main
12s
typecheck application Scala CI #6: Commit 899f1e0 pushed by Linyxus
11s main
main
11s
add util for direct-style error handling Scala CI #5: Commit 20e68ba pushed by Linyxus
12s main
main
12s
add test for closure typing Scala CI #4: Commit 5d29a05 pushed by Linyxus
13s main
main
13s
fix tokenizer: multi-level dedentation Scala CI #3: Commit d216db6 pushed by Linyxus
17s main
main
17s
missing WithKind Scala CI #2: Commit b5490e1 pushed by Linyxus
10s main
main
10s
Create scala.yml Scala CI #1: Commit ff99ea5 pushed by Linyxus
18s main
main
18s