Skip to content

Actions: dada-lang/dada

Actions

Editors

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #236 from nikomatsakis/newest-salsa
Editors #22: Commit 5f5cbd9 pushed by github-merge-queue bot
April 5, 2024 09:58 29s main
April 5, 2024 09:58 29s
Modernize
Editors #21: Pull request #236 synchronize by nikomatsakis
April 5, 2024 09:57 25s nikomatsakis:newest-salsa
April 5, 2024 09:57 25s
Modernize
Editors #20: Pull request #236 synchronize by nikomatsakis
April 5, 2024 09:29 30s nikomatsakis:newest-salsa
April 5, 2024 09:29 30s
Modernize
Editors #19: Pull request #236 opened by nikomatsakis
April 5, 2024 09:25 40s nikomatsakis:newest-salsa
April 5, 2024 09:25 40s
Merge pull request #233 from victorpedrocs/patch-1
Editors #18: Commit bce537f pushed by brson
March 12, 2024 00:03 34s main
March 12, 2024 00:03 34s
Merge pull request #232 from seguri/patch-1
Editors #17: Commit 394a500 pushed by brson
March 12, 2024 00:03 32s main
March 12, 2024 00:03 32s
fix: FAQ link
Editors #15: Pull request #232 opened by seguri
March 6, 2024 12:53 30s patch-1
March 6, 2024 12:53 30s
Merge pull request #231 from brson/ahash
Editors #14: Commit 8762c92 pushed by brson
February 18, 2024 02:38 29s main
February 18, 2024 02:38 29s
Upgrade ahash
Editors #13: Pull request #231 opened by brson
February 18, 2024 02:34 33s brson:ahash
February 18, 2024 02:34 33s
October 28, 2023 10:44 26s
Merge pull request #224 from Aadamandersson/vscode-ext
Editors #9: Commit 5b1e3bb pushed by nikomatsakis
October 28, 2023 10:28 35s main
October 28, 2023 10:28 35s