Fix dockerhub wrong repo and other misconfigurations

This commit is contained in:
zhubojun 2022-03-08 19:01:47 +08:00 committed by Zongmin.Gu
parent 97812967f1
commit a1b2effee5
3 changed files with 3 additions and 3 deletions

@ -7,7 +7,7 @@ on:
OS: OS:
description: 'OS name (must choose from <centos, ubuntu18, ubuntu20>)' description: 'OS name (must choose from <centos, ubuntu18, ubuntu20>)'
required: true required: true
default: 'ubuntu18' default: 'ubuntu20'
jobs: jobs:
generate-centos-image: generate-centos-image:

@ -341,7 +341,7 @@ jobs:
submodules: true submodules: true
- name: Create container - name: Create container
run: docker run -itd --name=${{ github.job }} -v $GITHUB_WORKSPACE:/root/occlum zhubojun/occlum:latest-ubuntu20.04-grpc run: docker run -itd --name=${{ github.job }} -v $GITHUB_WORKSPACE:/root/occlum occlumbackup/occlum:latest-ubuntu20.04-grpc
- name: Build dependencies - name: Build dependencies
run: docker exec ${{ github.job }} bash -c "cd /root/occlum; make submodule" run: docker exec ${{ github.job }} bash -c "cd /root/occlum; make submodule"

@ -9,7 +9,7 @@ on:
jobs: jobs:
Make_test_on_ubuntu: Make_test_on_ubuntu:
runs-on: ubuntu-18.04 runs-on: ubuntu-20.04
steps: steps:
- uses: actions/checkout@v1 - uses: actions/checkout@v1