Skip to content

Actions: dada-lang/dada-model

Actions

Deploy mdBook site to Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mdbook.yml
104 workflow runs
104 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
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
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
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 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
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
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
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
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 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
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 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
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
introduce predicates, simplify and document rules Deploy mdBook site to Pages #97: Commit b90e34e pushed by nikomatsakis
January 17, 2025 11:00 2m 4s main
main
January 17, 2025 11:00 2m 4s
extend tests Deploy mdBook site to Pages #96: Commit 2e24777 pushed by nikomatsakis
January 17, 2025 01:31 1m 58s main
main
January 17, 2025 01:31 1m 58s
Merge pull request #20 from lqd/issue-13 Deploy mdBook site to Pages #95: Commit 677613a pushed by nikomatsakis
January 16, 2025 13:27 2m 3s main
main
January 16, 2025 13:27 2m 3s
create ! expressions Deploy mdBook site to Pages #94: Commit a21b40c pushed by nikomatsakis
January 16, 2025 11:32 2m 19s main
main
January 16, 2025 11:32 2m 19s
add compressed table of comparisons Deploy mdBook site to Pages #93: Commit 9d2e8cd pushed by nikomatsakis
January 16, 2025 11:09 2m 8s main
main
January 16, 2025 11:09 2m 8s
improve comments Deploy mdBook site to Pages #92: Commit a1ba4ec pushed by nikomatsakis
January 16, 2025 10:27 2m 0s main
main
January 16, 2025 10:27 2m 0s
generalize our subtyping rule Deploy mdBook site to Pages #91: Commit a3832e3 pushed by nikomatsakis
January 15, 2025 11:26 2m 7s main
main
January 15, 2025 11:26 2m 7s