Skip to content

Actions: dada-lang/dada-model

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
231 workflow runs
231 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

kill old racket code Deploy mdBook site to Pages #109: Commit 3806f52 pushed by nikomatsakis
February 1, 2025 11:54 2m 25s main
main
February 1, 2025 11:54 2m 25s
kill old racket code Rust #113: Commit 3806f52 pushed by nikomatsakis
February 1, 2025 11:54 1m 24s main
main
February 1, 2025 11:54 1m 24s
kill dead code Rust #112: Commit 73f5887 pushed by nikomatsakis
February 1, 2025 11:51 1m 26s main
main
February 1, 2025 11:51 1m 26s
kill dead code Deploy mdBook site to Pages #108: Commit 73f5887 pushed by nikomatsakis
February 1, 2025 11:51 3m 17s main
main
February 1, 2025 11:51 3m 17s
move liens to their own module Deploy mdBook site to Pages #107: Commit 8126b91 pushed by nikomatsakis
February 1, 2025 11:50 1m 55s main
main
February 1, 2025 11:50 1m 55s
move liens to their own module Rust #111: Commit 8126b91 pushed by nikomatsakis
February 1, 2025 11:50 1m 47s main
main
February 1, 2025 11:50 1m 47s
Create mdbook.yml Rust #110: Commit 6312498 pushed by nikomatsakis
January 31, 2025 13:55 1m 34s main
main
January 31, 2025 13:55 1m 34s
Create mdbook.yml Deploy mdBook site to Pages #106: Commit 6312498 pushed by nikomatsakis
January 31, 2025 13:55 1m 49s main
main
January 31, 2025 13:55 1m 49s
Delete .github/workflows/mdbook.yml Rust #109: Commit 75de2cc pushed by nikomatsakis
January 31, 2025 13:55 1m 37s main
main
January 31, 2025 13:55 1m 37s
more exhaustive tests Deploy mdBook site to Pages #105: Commit 2af4e13 pushed by nikomatsakis
January 31, 2025 12:08 13s main
main
January 31, 2025 12:08 13s
more exhaustive tests Rust #108: Commit 2af4e13 pushed by nikomatsakis
January 31, 2025 12:08 1m 42s main
main
January 31, 2025 12:08 1m 42s
update test to account for union semantics Deploy mdBook site to Pages #104: Commit d453c92 pushed by nikomatsakis
January 31, 2025 11:25 14s main
main
January 31, 2025 11:25 14s
update test to account for union semantics Rust #107: Commit d453c92 pushed by nikomatsakis
January 31, 2025 11:25 1m 40s main
main
January 31, 2025 11:25 1m 40s
new approach: Perms not LienSet Deploy mdBook site to Pages #103: Commit 88e9b73 pushed by nikomatsakis
January 30, 2025 11:38 2m 2s main
main
January 30, 2025 11:38 2m 2s
new approach: Perms not LienSet Rust #106: Commit 88e9b73 pushed by nikomatsakis
January 30, 2025 11:38 1m 29s main
main
January 30, 2025 11:38 1m 29s
new lien approach Deploy mdBook site to Pages #102: Commit 9f75400 pushed by nikomatsakis
January 30, 2025 02:19 2m 0s main
main
January 30, 2025 02:19 2m 0s
new lien approach Rust #105: Commit 9f75400 pushed by nikomatsakis
January 30, 2025 02:19 1m 31s main
main
January 30, 2025 02:19 1m 31s
start sketching new lien approach Rust #104: Commit d63d3c2 pushed by nikomatsakis
January 27, 2025 02:36 1m 34s main
main
January 27, 2025 02:36 1m 34s
start sketching new lien approach Deploy mdBook site to Pages #101: Commit d63d3c2 pushed by nikomatsakis
January 27, 2025 02:36 1m 57s main
main
January 27, 2025 02:36 1m 57s
improve lien-covered-by docs and rules Rust #103: Commit e4dac12 pushed by nikomatsakis
January 19, 2025 21:09 1m 40s main
main
January 19, 2025 21:09 1m 40s
improve lien-covered-by docs and rules Deploy mdBook site to Pages #100: Commit e4dac12 pushed by nikomatsakis
January 19, 2025 21:09 2m 8s main
main
January 19, 2025 21:09 2m 8s
remove dead judgment Deploy mdBook site to Pages #99: Commit 5349541 pushed by nikomatsakis
January 18, 2025 13:07 2m 11s main
main
January 18, 2025 13:07 2m 11s
remove dead judgment Rust #102: Commit 5349541 pushed by nikomatsakis
January 18, 2025 13:07 1m 31s main
main
January 18, 2025 13:07 1m 31s
simplify and describe the subtyping rules Deploy mdBook site to Pages #98: Commit fe9cb60 pushed by nikomatsakis
January 18, 2025 12:29 2m 3s main
main
January 18, 2025 12:29 2m 3s
simplify and describe the subtyping rules Rust #101: Commit fe9cb60 pushed by nikomatsakis
January 18, 2025 12:29 1m 31s main
main
January 18, 2025 12:29 1m 31s