Skip to content

Actions: dada-lang/dada-model

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
213 workflow runs
213 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

rewrite "borrow check" to use terms Rust #54: Commit 5fe5d27 pushed by nikomatsakis
February 6, 2024 11:02 1m 32s main
main
February 6, 2024 11:02 1m 32s
rewrite "borrow check" to use terms Deploy mdBook site to Pages #55: Commit 5fe5d27 pushed by nikomatsakis
February 6, 2024 11:02 2m 2s main
main
February 6, 2024 11:02 2m 2s
add a bunch of tests Deploy mdBook site to Pages #54: Commit 79c4dbf pushed by nikomatsakis
February 6, 2024 10:34 2m 6s main
main
February 6, 2024 10:34 2m 6s
add a bunch of tests Rust #53: Commit 79c4dbf pushed by nikomatsakis
February 6, 2024 10:34 1m 28s main
main
February 6, 2024 10:34 1m 28s
adopt new subtyping impl based on terms Rust #52: Commit c5ec167 pushed by nikomatsakis
February 3, 2024 19:33 1m 24s main
main
February 3, 2024 19:33 1m 24s
adopt new subtyping impl based on terms Deploy mdBook site to Pages #53: Commit c5ec167 pushed by nikomatsakis
February 3, 2024 19:33 2m 5s main
main
February 3, 2024 19:33 2m 5s
change from () to {} in permissions Deploy mdBook site to Pages #52: Commit 7c90702 pushed by nikomatsakis
February 2, 2024 10:36 1m 55s main
main
February 2, 2024 10:36 1m 55s
change from () to {} in permissions Rust #51: Commit 7c90702 pushed by nikomatsakis
February 2, 2024 10:36 1m 41s main
main
February 2, 2024 10:36 1m 41s
update TODO item Deploy mdBook site to Pages #51: Commit fbcff62 pushed by nikomatsakis
January 16, 2024 10:57 3m 35s main
main
January 16, 2024 10:57 3m 35s
update TODO item Rust #50: Commit fbcff62 pushed by nikomatsakis
January 16, 2024 10:57 1m 28s main
main
January 16, 2024 10:57 1m 28s
remove use of Int from permision_check Deploy mdBook site to Pages #50: Commit 996c125 pushed by nikomatsakis
January 16, 2024 10:57 2m 1s main
main
January 16, 2024 10:57 2m 1s
remove use of Int from permision_check Rust #49: Commit 996c125 pushed by nikomatsakis
January 16, 2024 10:57 1m 31s main
main
January 16, 2024 10:57 1m 31s
remove outdated FIXMEs Rust #48: Commit eb794dd pushed by nikomatsakis
January 16, 2024 10:45 1m 32s main
main
January 16, 2024 10:45 1m 32s
remove outdated FIXMEs Deploy mdBook site to Pages #49: Commit eb794dd pushed by nikomatsakis
January 16, 2024 10:45 2m 43s main
main
January 16, 2024 10:45 2m 43s
update the TODO list Rust #47: Commit 0e85f42 pushed by nikomatsakis
January 16, 2024 10:44 1m 38s main
main
January 16, 2024 10:44 1m 38s
update the TODO list Deploy mdBook site to Pages #48: Commit 0e85f42 pushed by nikomatsakis
January 16, 2024 10:44 2m 5s main
main
January 16, 2024 10:44 2m 5s
introduce local variables for temps and pop them Rust #46: Commit 7083b05 pushed by nikomatsakis
January 16, 2024 10:40 1m 39s main
main
January 16, 2024 10:40 1m 39s
introduce local variables for temps and pop them Deploy mdBook site to Pages #47: Commit 7083b05 pushed by nikomatsakis
January 16, 2024 10:40 2m 3s main
main
January 16, 2024 10:40 2m 3s
more tests, (more) consistent naming Deploy mdBook site to Pages #46: Commit c0db0c3 pushed by nikomatsakis
January 14, 2024 12:49 2m 11s main
main
January 14, 2024 12:49 2m 11s
more tests, (more) consistent naming Rust #45: Commit c0db0c3 pushed by nikomatsakis
January 14, 2024 12:49 1m 35s main
main
January 14, 2024 12:49 1m 35s
more tests, better comments Deploy mdBook site to Pages #45: Commit 42878f5 pushed by nikomatsakis
January 14, 2024 12:39 2m 8s main
main
January 14, 2024 12:39 2m 8s
more tests, better comments Rust #44: Commit 42878f5 pushed by nikomatsakis
January 14, 2024 12:39 1m 27s main
main
January 14, 2024 12:39 1m 27s
add a new test that isn't quite working yet Deploy mdBook site to Pages #44: Commit 3e5950d pushed by nikomatsakis
January 14, 2024 12:37 1m 55s main
main
January 14, 2024 12:37 1m 55s
add a new test that isn't quite working yet Rust #43: Commit 3e5950d pushed by nikomatsakis
January 14, 2024 12:37 1m 36s main
main
January 14, 2024 12:37 1m 36s
use Fallible with type of variables Deploy mdBook site to Pages #43: Commit 7a60c1a pushed by nikomatsakis
January 14, 2024 12:33 2m 2s main
main
January 14, 2024 12:33 2m 2s