#!/usr/bin/env groovy

pipeline {
  agent any
  options {
    // Add timestamps before stdout/stderr in jenkins logs
    timestamps()
    // Let the jenkins logs show console command colors
    ansiColor('xterm')
    // Don't bother running builds if the pushes happen one right after the other
    quietPeriod(30)
  }
  stages {
    stage("build") {
      steps {
        sshagent(credentials: ['git-aws-read-key']) {
          sh 'make ci'
        }
      }
    }
  }
}
