misc: Copy .github directory from develop to stable (#485)

This commit is contained in:
Bobby R. Bruce
2023-10-18 22:19:24 -07:00
committed by GitHub
parent 3157cde324
commit 1bb9bb3308
4 changed files with 51 additions and 16 deletions

View File

@@ -22,7 +22,7 @@ jobs:
opts: [.opt, .fast]
runs-on: [self-hosted, linux, x64]
timeout-minutes: 2880 # 48 hours
container: gcr.io/gem5-test/${{ matrix.image }}:latest
container: ghcr.io/gem5/${{ matrix.image }}:latest
steps:
- uses: actions/checkout@v3
with:
@@ -45,7 +45,7 @@ jobs:
opts: [.opt]
runs-on: [self-hosted, linux, x64]
timeout-minutes: 2880 # 48 hours
container: gcr.io/gem5-test/${{ matrix.image }}:latest
container: ghcr.io/gem5/${{ matrix.image }}:latest
steps:
- uses: actions/checkout@v3
with: