|
@@ -209,7 +209,7 @@ jobs:
|
|
- name: Make apt sources.list use the default Ubuntu repositories
|
|
- name: Make apt sources.list use the default Ubuntu repositories
|
|
run: |
|
|
run: |
|
|
sudo rm -f /etc/apt/sources.list.d/*
|
|
sudo rm -f /etc/apt/sources.list.d/*
|
|
- sudo cp -f misc/ci/sources.list /etc/apt/sources.list
|
|
|
|
|
|
+ sudo cp -f spine-godot/build/sources.list /etc/apt/sources.list
|
|
sudo apt-get update
|
|
sudo apt-get update
|
|
|
|
|
|
- name: Set up Java 11
|
|
- name: Set up Java 11
|