Merge pull request #10 from PibePlayer/ubuntu_18.04

Ubuntu 18.04
This commit is contained in:
Mateo Pidal
2021-07-07 01:03:28 -03:00
committed by GitHub

View File

@@ -1,16 +1,16 @@
name: CI
name: CI Ubuntu 18.04
on:
push:
branches: [ develop ]
branches: [ ubuntu_18.04 ]
pull_request:
branches: [ develop ]
branches: [ ubuntu_18.04 ]
workflow_dispatch:
jobs:
build:
name: build-linux
runs-on: ubuntu-latest
runs-on: ubuntu-18.04
steps: