Tracking issue: Use CI on sourcegraph.com with Dhall

Created by: ggilmore

Plan

Tracked issues

@uwedeportivo: 1.00d

• https://github.com/sourcegraph/sourcegraph/issues/14133

Completed: 1.00d

• (🏁 296 days ago) https://github.com/sourcegraph/sourcegraph/issues/14132 1.00d

Legend

• 👩 Customer issue
• 🐛 Bug
• 🧶 Technical debt
• 🎩 Quality of life
• 🛠️ Roadmap
• 🕵️ Spike
• 🔒 Security issue
• :shipit: Pull Request