Skip to content

Actions: dada-lang/dada-model

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

wip Rust #141: Commit 92876d6 pushed by nikomatsakis
3m 42s main
main
3m 42s
Reframe book chapters in judgment terms instead of procedural walkthr… Rust #140: Commit 1b0748a pushed by nikomatsakis
3m 42s main
main
3m 42s
Use built-in for_all(x in y) syntax in judgment_fn! macros Rust #139: Commit 553b321 pushed by nikomatsakis
3m 57s main
main
3m 57s
Convert check_method from plain Rust to judgment_fn! Rust #138: Commit b321f10 pushed by nikomatsakis
3m 32s main
main
3m 32s
Fix mdbook test failure: mark pseudocode block as text Rust #137: Commit 76400d1 pushed by nikomatsakis
3m 32s main
main
3m 32s
Expand chapters 1-2 with judgment rules, liveness, and Mermaid diagrams Rust #136: Commit 76c8a04 pushed by nikomatsakis
3m 45s main
main
3m 45s
Add book chapters (classes, giving) and convert test macros to token … Rust #135: Commit 8563ecb pushed by nikomatsakis
3m 23s main
main
3m 23s
add assert_ok!/assert_err! macros with leaf error extraction Rust #134: Commit a3ebb48 pushed by nikomatsakis
1m 31s main
main
1m 31s
remove ParameterPredicate::Lent variant entirely Rust #133: Commit 0fc8b67 pushed by nikomatsakis
1m 23s main
main
1m 23s
Update README.md Rust #132: Commit 5967f49 pushed by nikomatsakis
1m 39s main
main
1m 39s
Merge pull request #23 from nikomatsakis/main Rust #131: Commit 01704e5 pushed by nikomatsakis
1m 45s main
main
1m 45s
align on redperms Rust #130: Pull request #23 opened by nikomatsakis
1m 56s nikomatsakis:main
nikomatsakis:main
1m 56s
Merge pull request #22 from nikomatsakis/main Rust #129: Commit f1758e5 pushed by nikomatsakis
1m 43s main
main
1m 43s
merge in the new redperms Rust #128: Pull request #22 opened by nikomatsakis
1m 44s nikomatsakis:main
nikomatsakis:main
1m 44s
fix rules, all tests pass Rust #127: Commit 797b8a9 pushed by nikomatsakis
1m 40s main
main
1m 40s
rename parameter predicates Rust #126: Commit da9f800 pushed by nikomatsakis
1m 26s main
main
1m 26s
remove simplification at the outer level Rust #125: Commit 527b6cc pushed by nikomatsakis
1m 26s main
main
1m 26s
kill dead code Rust #124: Commit 22d9c1a pushed by nikomatsakis
1m 25s main
main
1m 25s
wip: checkpoint Rust #123: Commit fe76499 pushed by nikomatsakis
1m 21s main
main
1m 21s
WIP: fix liens, other bugs Rust #122: Commit 3ebbf6e pushed by nikomatsakis
1m 17s main
main
1m 17s
WIP: update tests from HEAD^ Rust #121: Commit a80ad5a pushed by nikomatsakis
1m 15s main
main
1m 15s
re-introduce layout check Rust #120: Commit b7f53a6 pushed by nikomatsakis
1m 28s main
main
1m 28s
fix unsoundness: refactor to unflattened chains Rust #119: Commit d279b8d pushed by nikomatsakis
1m 58s main
main
1m 58s
rework red-terms to have a single red-ty Rust #118: Commit 6ae1129 pushed by nikomatsakis
1m 41s main
main
1m 41s
remove Or types/perms Rust #117: Commit 3b3fb77 pushed by nikomatsakis
1m 21s main
main
1m 21s