CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-20 00:41:05 +03:00
Code Issues Projects Releases Wiki Activity

Better

Browse Source
This commit is contained in:
Denis Merigoux 2022-02-03 16:17:02 +01:00
parent 838177f974
commit f3c926a7ff
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3
2 changed files with 3 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
.github/workflows/build.yml vendored
View File

@ -1,16 +1,11 @@
# This is a basic workflow to help you get started with Actions
name: FullBuildCI
name: CI
# Controls when the action will run. Triggers the workflow on push or pull request
# events but only for the master branch
on:
push:
branches: [master]
issue_comment:
types: [created, edited, deleted]
# A workflow run is made up of one or more jobs that can run sequentially or in parallel
jobs:
build-nix-21-05:
if: contains(github.event.comment.html_url, '/pull/') && contains(github.event.comment.body, '+build')

11
.github/workflows/run-make-all.yml vendored
View File

@ -1,14 +1,7 @@
# This is a basic workflow to help you get started with Actions
name: RoutineCI
name: CI
# Controls when the action will run. Triggers the workflow on push or pull request
# events but only for the master branch
on:
push:
branches: [master]
pull_request:
branches: *
push
# A workflow run is made up of one or more jobs that can run sequentially or in parallel
jobs: