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

more cancellation tests Rust #86: Commit 5cf1096 pushed by nikomatsakis
January 10, 2025 11:35 1m 43s main
main
January 10, 2025 11:35 1m 43s
missing ! Deploy mdBook site to Pages #86: Commit 7bd13aa pushed by nikomatsakis
December 9, 2024 10:28 2m 2s main
main
December 9, 2024 10:28 2m 2s
missing ! Rust #85: Commit 7bd13aa pushed by nikomatsakis
December 9, 2024 10:28 1m 36s main
main
December 9, 2024 10:28 1m 36s
remove racket sources Deploy mdBook site to Pages #85: Commit aea3327 pushed by nikomatsakis
June 23, 2024 20:41 1m 50s main
main
June 23, 2024 20:41 1m 50s
remove racket sources Rust #84: Commit aea3327 pushed by nikomatsakis
June 23, 2024 20:41 1m 35s main
main
June 23, 2024 20:41 1m 35s
add some examples Deploy mdBook site to Pages #84: Commit 96fa0ad pushed by nikomatsakis
June 5, 2024 14:04 2m 5s main
main
June 5, 2024 14:04 2m 5s
add some examples Rust #83: Commit 96fa0ad pushed by nikomatsakis
June 5, 2024 14:04 1m 38s main
main
June 5, 2024 14:04 1m 38s
split class/value types in type chains Rust #82: Commit b61992c pushed by nikomatsakis
February 29, 2024 11:06 1m 52s main
main
February 29, 2024 11:06 1m 52s
split class/value types in type chains Deploy mdBook site to Pages #83: Commit b61992c pushed by nikomatsakis
February 29, 2024 11:06 2m 31s main
main
February 29, 2024 11:06 2m 31s
add test showing value types rules are broken Rust #81: Commit 85188b6 pushed by nikomatsakis
February 20, 2024 11:44 1m 39s main
main
February 20, 2024 11:44 1m 39s
add test showing value types rules are broken Deploy mdBook site to Pages #82: Commit 85188b6 pushed by nikomatsakis
February 20, 2024 11:44 2m 6s main
main
February 20, 2024 11:44 2m 6s
introduce variances into subtyping Deploy mdBook site to Pages #81: Commit 18306dd pushed by nikomatsakis
February 20, 2024 11:37 2m 3s main
main
February 20, 2024 11:37 2m 3s
introduce variances into subtyping Rust #80: Commit 18306dd pushed by nikomatsakis
February 20, 2024 11:37 1m 48s main
main
February 20, 2024 11:37 1m 48s
refactor predicate grammar Rust #79: Commit 2311faa pushed by nikomatsakis
February 20, 2024 11:13 1m 44s main
main
February 20, 2024 11:13 1m 44s
refactor predicate grammar Deploy mdBook site to Pages #80: Commit 2311faa pushed by nikomatsakis
February 20, 2024 11:13 2m 10s main
main
February 20, 2024 11:13 2m 10s
introduce variance predicates and req in classes Deploy mdBook site to Pages #79: Commit 2f9e9a0 pushed by nikomatsakis
February 20, 2024 11:03 2m 4s main
main
February 20, 2024 11:03 2m 4s
introduce variance predicates and req in classes Rust #78: Commit 2f9e9a0 pushed by nikomatsakis
February 20, 2024 11:03 1m 49s main
main
February 20, 2024 11:03 1m 49s
add predicates to class defn and prove them Rust #77: Commit 8b090bb pushed by nikomatsakis
February 19, 2024 12:08 1m 43s main
main
February 19, 2024 12:08 1m 43s
add predicates to class defn and prove them Deploy mdBook site to Pages #78: Commit 8b090bb pushed by nikomatsakis
February 19, 2024 12:08 2m 4s main
main
February 19, 2024 12:08 2m 4s
add tests for value type subtyping Rust #76: Commit 7e73787 pushed by nikomatsakis
February 19, 2024 02:39 1m 45s main
main
February 19, 2024 02:39 1m 45s
add tests for value type subtyping Deploy mdBook site to Pages #77: Commit 7e73787 pushed by nikomatsakis
February 19, 2024 02:39 2m 8s main
main
February 19, 2024 02:39 2m 8s
remove dead code, add a few more tests Deploy mdBook site to Pages #76: Commit 2508f68 pushed by nikomatsakis
February 18, 2024 12:18 1m 57s main
main
February 18, 2024 12:18 1m 57s
remove dead code, add a few more tests Rust #75: Commit 2508f68 pushed by nikomatsakis
February 18, 2024 12:18 1m 38s main
main
February 18, 2024 12:18 1m 38s
mark off TODO and add some tests Rust #74: Commit 6039b77 pushed by nikomatsakis
February 17, 2024 14:01 1m 40s main
main
February 17, 2024 14:01 1m 40s
mark off TODO and add some tests Deploy mdBook site to Pages #75: Commit 6039b77 pushed by nikomatsakis
February 17, 2024 14:01 2m 5s main
main
February 17, 2024 14:01 2m 5s