Skip to content

Actions: dada-lang/dada-model

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
215 workflow runs
215 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix unsoundness: refactor to unflattened chains Deploy mdBook site to Pages #115: Commit d279b8d pushed by nikomatsakis
February 12, 2025 11:16 1m 49s main
main
February 12, 2025 11:16 1m 49s
fix unsoundness: refactor to unflattened chains Rust #119: Commit d279b8d pushed by nikomatsakis
February 12, 2025 11:16 1m 58s main
main
February 12, 2025 11:16 1m 58s
rework red-terms to have a single red-ty Rust #118: Commit 6ae1129 pushed by nikomatsakis
February 10, 2025 02:11 1m 41s main
main
February 10, 2025 02:11 1m 41s
rework red-terms to have a single red-ty Deploy mdBook site to Pages #114: Commit 6ae1129 pushed by nikomatsakis
February 10, 2025 02:11 1m 45s main
main
February 10, 2025 02:11 1m 45s
remove Or types/perms Deploy mdBook site to Pages #113: Commit 3b3fb77 pushed by nikomatsakis
February 10, 2025 01:46 2m 2s main
main
February 10, 2025 01:46 2m 2s
remove Or types/perms Rust #117: Commit 3b3fb77 pushed by nikomatsakis
February 10, 2025 01:46 1m 21s main
main
February 10, 2025 01:46 1m 21s
was using wrong place for field substitution Rust #116: Commit 42d5b55 pushed by nikomatsakis
February 9, 2025 11:39 1m 20s main
main
February 9, 2025 11:39 1m 20s
was using wrong place for field substitution Deploy mdBook site to Pages #112: Commit 42d5b55 pushed by nikomatsakis
February 9, 2025 11:39 1m 52s main
main
February 9, 2025 11:39 1m 52s
update expect Deploy mdBook site to Pages #111: Commit 587ec6e pushed by nikomatsakis
February 6, 2025 20:17 1m 47s main
main
February 6, 2025 20:17 1m 47s
update expect Rust #115: Commit 587ec6e pushed by nikomatsakis
February 6, 2025 20:17 1m 31s main
main
February 6, 2025 20:17 1m 31s
more updating of tests Rust #114: Commit d25ae43 pushed by nikomatsakis
February 6, 2025 18:34 1m 48s main
main
February 6, 2025 18:34 1m 48s
more updating of tests Deploy mdBook site to Pages #110: Commit d25ae43 pushed by nikomatsakis
February 6, 2025 18:34 2m 8s main
main
February 6, 2025 18:34 2m 8s
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