Conrad Irwin eab9172b36 Deploy collab like nightly ...

After this change we'll be able to push a tag to github to deploy to
collab.

2024-01-31 16:20:14 -07:00

..

actions

Release version of clippy? (#7107)

2024-01-30 13:29:39 -07:00

ISSUE_TEMPLATE

Fix typos configuration (#6877)

2024-01-27 11:03:25 -05:00

workflows

Deploy collab like nightly

2024-01-31 16:20:14 -07:00

pull_request_template.md

Remove placeholder description from PR template (#6726)

2024-01-25 14:19:22 -05:00