Skip to content

Commit

Permalink
Merge branch 'main' of https://github.com/Fault-lang/Fault into main
Browse files Browse the repository at this point in the history
  • Loading branch information
mbellotti committed Jan 26, 2022
2 parents ff6bbdc + 4806526 commit c1b1691
Showing 1 changed file with 6 additions and 1 deletion.
7 changes: 6 additions & 1 deletion .circleci/config.yml
@@ -1,6 +1,10 @@
# Use the latest 2.1 version of CircleCI pipeline process engine.
# See: https://circleci.com/docs/2.0/configuration-reference
version: 2.1
parameters:
github:
type: boolean
default: true

# Define a job to be invoked later in a workflow.
# See: https://circleci.com/docs/2.0/configuration-reference/#jobs
Expand Down Expand Up @@ -83,6 +87,7 @@ workflows:
jobs:
- test

mutations: # Scheduled pipeline, will run mutation tests once a week
mutations: # Scheduled pipeline, will run mutation tests once a week
unless: << pipeline.parameters.github >>
jobs:
- mutate

0 comments on commit c1b1691

Please sign in to comment.