Skip to content

Actions: dada-lang/dada

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
62 workflow runs
62 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #254 from nikomatsakis/main Test #674: Commit 8bdf2b1 pushed by github-merge-queue bot
2m 46s main
main
2m 46s
latest round of changes Test #673: Pull request #254 synchronize by nikomatsakis
1m 56s nikomatsakis:main
nikomatsakis:main
1m 56s
latest round of changes Test #672: Pull request #254 synchronize by nikomatsakis
1m 47s nikomatsakis:main
nikomatsakis:main
1m 47s
latest round of changes Test #671: Pull request #254 synchronize by nikomatsakis
2m 1s nikomatsakis:main
nikomatsakis:main
2m 1s
latest round of changes Test #670: Pull request #254 synchronize by nikomatsakis
2m 32s nikomatsakis:main
nikomatsakis:main
2m 32s
latest round of changes Test #669: Pull request #254 synchronize by nikomatsakis
2m 31s nikomatsakis:main
nikomatsakis:main
2m 31s
latest round of changes Test #668: Pull request #254 synchronize by nikomatsakis
1m 56s nikomatsakis:main
nikomatsakis:main
1m 56s
latest round of changes Test #667: Pull request #254 opened by nikomatsakis
1m 59s nikomatsakis:main
nikomatsakis:main
1m 59s
Merge pull request #253 from nikomatsakis/main Test #666: Commit c0db6e4 pushed by github-merge-queue bot
1m 55s main
main
1m 55s
vscode extension, predicates, other changes Test #665: Pull request #253 synchronize by nikomatsakis
1m 47s nikomatsakis:main
nikomatsakis:main
1m 47s
vscode extension, predicates, other changes Test #664: Pull request #253 opened by nikomatsakis
1m 56s nikomatsakis:main
nikomatsakis:main
1m 56s
Merge pull request #252 from nikomatsakis/main Test #663: Commit d9cd5d3 pushed by github-merge-queue bot
1m 40s main
main
1m 40s
update terminology Test #662: Pull request #252 opened by nikomatsakis
1m 37s nikomatsakis:main
nikomatsakis:main
1m 37s
Merge pull request #251 from nikomatsakis/main Test #661: Commit bf34fd0 pushed by github-merge-queue bot
2m 0s main
main
2m 0s
add "probe" tests Test #660: Pull request #251 opened by nikomatsakis
2m 3s nikomatsakis:main
nikomatsakis:main
2m 3s
Merge pull request #250 from nikomatsakis/main Test #659: Commit aee4db7 pushed by github-merge-queue bot
2m 4s main
main
2m 4s
type checker rewrite Test #658: Pull request #250 synchronize by nikomatsakis
1m 45s nikomatsakis:main
nikomatsakis:main
1m 45s
type checker rewrite Test #657: Pull request #250 synchronize by nikomatsakis
1m 55s nikomatsakis:main
nikomatsakis:main
1m 55s
type checker rewrite Test #656: Pull request #250 synchronize by nikomatsakis
2m 4s nikomatsakis:main
nikomatsakis:main
2m 4s
type checker rewrite Test #655: Pull request #250 opened by nikomatsakis
2m 6s nikomatsakis:main
nikomatsakis:main
2m 6s
Emit wasm Test #654: Pull request #249 synchronize by brson
2m 3s brson:wasm
brson:wasm
2m 3s
Emit wasm Test #653: Pull request #249 opened by brson
2m 13s brson:wasm
brson:wasm
2m 13s
Merge pull request #248 from nikomatsakis/remove-tests Test #652: Commit 5a2180e pushed by github-merge-queue bot
2m 2s main
main
2m 2s
remove outdated tests Test #651: Pull request #248 opened by nikomatsakis
2m 11s nikomatsakis:remove-tests
nikomatsakis:remove-tests
2m 11s
Merge pull request #247 from ciyer/main Test #650: Commit 84a5a02 pushed by github-merge-queue bot
1m 59s main
main
1m 59s