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
May 23, 2025 11:54 2m 46s main
main
May 23, 2025 11:54 2m 46s
latest round of changes Test #673: Pull request #254 synchronize by nikomatsakis
May 23, 2025 11:52 1m 56s nikomatsakis:main
nikomatsakis:main
May 23, 2025 11:52 1m 56s
latest round of changes Test #672: Pull request #254 synchronize by nikomatsakis
May 23, 2025 11:47 1m 47s nikomatsakis:main
nikomatsakis:main
May 23, 2025 11:47 1m 47s
latest round of changes Test #671: Pull request #254 synchronize by nikomatsakis
May 23, 2025 11:15 2m 1s nikomatsakis:main
nikomatsakis:main
May 23, 2025 11:15 2m 1s
latest round of changes Test #670: Pull request #254 synchronize by nikomatsakis
May 23, 2025 10:45 2m 32s nikomatsakis:main
nikomatsakis:main
May 23, 2025 10:45 2m 32s
latest round of changes Test #669: Pull request #254 synchronize by nikomatsakis
May 23, 2025 10:44 2m 31s nikomatsakis:main
nikomatsakis:main
May 23, 2025 10:44 2m 31s
latest round of changes Test #668: Pull request #254 synchronize by nikomatsakis
May 22, 2025 10:07 1m 56s nikomatsakis:main
nikomatsakis:main
May 22, 2025 10:07 1m 56s
latest round of changes Test #667: Pull request #254 opened by nikomatsakis
May 19, 2025 11:42 1m 59s nikomatsakis:main
nikomatsakis:main
May 19, 2025 11:42 1m 59s
Merge pull request #253 from nikomatsakis/main Test #666: Commit c0db6e4 pushed by github-merge-queue bot
May 17, 2025 17:12 1m 55s main
main
May 17, 2025 17:12 1m 55s
vscode extension, predicates, other changes Test #665: Pull request #253 synchronize by nikomatsakis
May 17, 2025 17:08 1m 47s nikomatsakis:main
nikomatsakis:main
May 17, 2025 17:08 1m 47s
vscode extension, predicates, other changes Test #664: Pull request #253 opened by nikomatsakis
May 17, 2025 17:04 1m 56s nikomatsakis:main
nikomatsakis:main
May 17, 2025 17:04 1m 56s
Merge pull request #252 from nikomatsakis/main Test #663: Commit d9cd5d3 pushed by github-merge-queue bot
May 11, 2025 10:59 1m 40s main
main
May 11, 2025 10:59 1m 40s
update terminology Test #662: Pull request #252 opened by nikomatsakis
May 11, 2025 10:55 1m 37s nikomatsakis:main
nikomatsakis:main
May 11, 2025 10:55 1m 37s
Merge pull request #251 from nikomatsakis/main Test #661: Commit bf34fd0 pushed by github-merge-queue bot
May 11, 2025 10:41 2m 0s main
main
May 11, 2025 10:41 2m 0s
add "probe" tests Test #660: Pull request #251 opened by nikomatsakis
May 11, 2025 10:33 2m 3s nikomatsakis:main
nikomatsakis:main
May 11, 2025 10:33 2m 3s
Merge pull request #250 from nikomatsakis/main Test #659: Commit aee4db7 pushed by github-merge-queue bot
May 10, 2025 12:00 2m 4s main
main
May 10, 2025 12:00 2m 4s
type checker rewrite Test #658: Pull request #250 synchronize by nikomatsakis
May 10, 2025 11:57 1m 45s nikomatsakis:main
nikomatsakis:main
May 10, 2025 11:57 1m 45s
type checker rewrite Test #657: Pull request #250 synchronize by nikomatsakis
May 10, 2025 11:44 1m 55s nikomatsakis:main
nikomatsakis:main
May 10, 2025 11:44 1m 55s
type checker rewrite Test #656: Pull request #250 synchronize by nikomatsakis
May 10, 2025 11:41 2m 4s nikomatsakis:main
nikomatsakis:main
May 10, 2025 11:41 2m 4s
type checker rewrite Test #655: Pull request #250 opened by nikomatsakis
May 10, 2025 11:40 2m 6s nikomatsakis:main
nikomatsakis:main
May 10, 2025 11:40 2m 6s
Emit wasm Test #654: Pull request #249 synchronize by brson
April 12, 2025 04:11 2m 3s brson:wasm
brson:wasm
April 12, 2025 04:11 2m 3s
Emit wasm Test #653: Pull request #249 opened by brson
April 10, 2025 17:26 2m 13s brson:wasm
brson:wasm
April 10, 2025 17:26 2m 13s
Merge pull request #248 from nikomatsakis/remove-tests Test #652: Commit 5a2180e pushed by github-merge-queue bot
April 10, 2025 09:21 2m 2s main
main
April 10, 2025 09:21 2m 2s
remove outdated tests Test #651: Pull request #248 opened by nikomatsakis
April 10, 2025 09:20 2m 11s nikomatsakis:remove-tests
nikomatsakis:remove-tests
April 10, 2025 09:20 2m 11s
Merge pull request #247 from ciyer/main Test #650: Commit 84a5a02 pushed by github-merge-queue bot
March 29, 2025 01:17 1m 59s main
main
March 29, 2025 01:17 1m 59s