Adjust README.md and CI configs for .devcontainer/

jerboaa · Jun 16, 2022 · a374c36 · a374c36
1 parent f8262d7
commit a374c36
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -5,12 +5,12 @@ on:
     branches-ignore:
       - 'github/**'
     paths-ignore:
-      - '.travis.yml'
+      - '.devcontainer/**'
       - '.github/workflows/quarkus.yml'
       - '**.md'
   pull_request:
     paths-ignore:
-      - '.travis.yml'
+      - '.devcontainer/**'
       - '.github/workflows/quarkus.yml'
       - '**.md'
   # Enable manual dispatch of the workflow

diff --git a/README.md b/README.md
@@ -22,6 +22,7 @@ This source repository is the main repository for GraalVM and includes the follo
 
 Directory | Description
 ------------ | -------------
+[`.devcontainer/`](.devcontainer/) | Configuration files for GitHub dev containers.
 [`.github/`](.github/) | Configuration files for GitHub issues, workflows, ….
 [`compiler/`](compiler/) | [Graal compiler][reference-compiler], a modern, versatile compiler written in Java.
 [`espresso/`](espresso/) | [Espresso][java-on-truffle], a meta-circular Java bytecode interpreter for the GraalVM.

diff --git a/ci.jsonnet b/ci.jsonnet
@@ -35,7 +35,7 @@ local vm = import 'vm/ci_includes/vm.jsonnet';
 # for a PR that only touches *.md files, the docs, are config files for GitHub
 local add_excludes_guard(build) = build + {
   guard+: {
-    excludes+: ["**.md", "docs/**", ".github/**"]
+    excludes+: ["**.md", "docs/**", ".devcontainer/**", ".github/**"]
   }
 };