diff --git a/.gitignore b/.gitignore index b7a33d86bedf61..24f4bb7206c3ec 100644 --- a/.gitignore +++ b/.gitignore @@ -19,6 +19,7 @@ !.github !.gitignore !.gitkeep +!.gitpod.yml !.mailmap !.nycrc !.yamllint.yaml diff --git a/.gitpod.yml b/.gitpod.yml new file mode 100644 index 00000000000000..e95f0b9d17938f --- /dev/null +++ b/.gitpod.yml @@ -0,0 +1,3 @@ +# List the start up tasks. Learn more https://www.gitpod.io/docs/config-start-tasks/ +tasks: + - init: ./configure && make -j4 # runs during prebuild