Skip to content

0.9.5: Merge the development branch onto the live branch #1549

0.9.5: Merge the development branch onto the live branch

0.9.5: Merge the development branch onto the live branch #1549

Workflow file for this run

name: CI
on: [push, pull_request]
jobs:
build:
uses: open-contracting/.github/.github/workflows/ci-profile.yml@main
secrets:
private-key: ${{ secrets.PRIVATE_KEY }}
elasticsearch-password: ${{ secrets.ELASTICSEARCH_PASSWORD }}
with:
path-prefix: infrastructure/
version: '0.9'
production-refs: '["refs/heads/0.9"]'
# Linkcheck is slow for development.
linkcheck: false