diff options
| author | liv <mokou@fastmail.com> | 2023-09-04 15:02:14 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-04 15:02:14 +0200 |
| commit | ae28d2fa2de620d368d06d62065bbbacf115855d (patch) | |
| tree | 301ceef251f976c51bb239d92e86932dd6aa10e6 /.devcontainer | |
| parent | 3ad30308ec39dc6f108493fdca7dd133a8b28b8e (diff) | |
| parent | de45998f69ac95cd81175fef9e054c2c77ce82ab (diff) | |
Merge pull request #1665 from rust-lang/chore/better-ci
chore: consolidate CI workflows
Diffstat (limited to '.devcontainer')
0 files changed, 0 insertions, 0 deletions