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

wip-- messing with types CI #135: Commit 4c3c907 pushed by nikomatsakis
November 14, 2023 11:06 2m 30s main
main
November 14, 2023 11:06 2m 30s
wip CI #134: Commit f883c29 pushed by nikomatsakis
November 11, 2023 14:35 2m 55s main
main
November 11, 2023 14:35 2m 55s
checking places CI #133: Commit 49e6d95 pushed by nikomatsakis
November 11, 2023 14:12 2m 19s main
main
November 11, 2023 14:12 2m 19s
rework type checker to be closer to real style CI #132: Commit 1414127 pushed by nikomatsakis
November 10, 2023 11:23 2m 28s main
main
November 10, 2023 11:23 2m 28s
introduce binders CI #131: Commit a5f5f41 pushed by nikomatsakis
November 10, 2023 10:30 2m 25s main
main
November 10, 2023 10:30 2m 25s
expand expr grammar CI #130: Commit 13b9a18 pushed by nikomatsakis
November 10, 2023 10:17 3m 3s main
main
November 10, 2023 10:17 3m 3s
ProTip! You can narrow down the results and go further in time using created:<2023-11-10 or the other filters available.