diff --git a/.gcloudignore b/.gcloudignore new file mode 100644 index 0000000..603f0b6 --- /dev/null +++ b/.gcloudignore @@ -0,0 +1,19 @@ +# This file specifies files that are *not* uploaded to Google Cloud +# using gcloud. It follows the same syntax as .gitignore, with the addition of +# "#!include" directives (which insert the entries of the given .gitignore-style +# file at that point). +# +# For more information, run: +# $ gcloud topic gcloudignore +# +.gcloudignore +# If you would like to upload your .git directory, .gitignore file or files +# from your .gitignore file, remove the corresponding line +# below: +.git +.gitignore + +# Python pycache: +__pycache__/ +# Ignored by the build system +/setup.cfg \ No newline at end of file diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml new file mode 100644 index 0000000..9ebefad --- /dev/null +++ b/.github/workflows/release.yml @@ -0,0 +1,25 @@ +name: Publish to app engine + +on: + workflow_dispatch: + +jobs: + Deploy: + # Add "id-token" with the intended permissions. + permissions: + contents: 'read' + id-token: 'write' + + steps: + - uses: 'actions/checkout@v4' + + - uses: 'google-github-actions/auth@v2' + with: + project_id: 'probcomp-caliban' + workload_identity_provider: 'projects/110275315150/locations/global/workloadIdentityPools/app-engine-publishers/providers/github' + service_provider: 'app-engine-publisher@probcomp-caliban.iam.gserviceaccount.com' + - id: 'gcloud' + name: 'gcloud' + run: |- + gcloud auth login --brief --cred-file="${{steps.auth.outputs.credentials_file_path}}" + gcloud services list \ No newline at end of file diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..ff6dead --- /dev/null +++ b/.gitignore @@ -0,0 +1,2 @@ +# Ignore generated credentials from google-github-actions/auth +gha-creds-*.json \ No newline at end of file diff --git a/app.yaml b/app.yaml new file mode 100644 index 0000000..6137d6c --- /dev/null +++ b/app.yaml @@ -0,0 +1,14 @@ +runtime: python39 + +handlers: + - url: /favicon\.ico + static_files: favicon.ico + upload: favicon\.ico + + - url: / + static_dir: public + + - url: /.* + secure: always + redirect_http_response_code: 301 + script: auto \ No newline at end of file diff --git a/public/index.html b/public/index.html new file mode 100644 index 0000000..c872090 --- /dev/null +++ b/public/index.html @@ -0,0 +1 @@ +Hello, world. \ No newline at end of file