Skip to content

Merge pull request #445. #3

Merge pull request #445.

Merge pull request #445. #3

Workflow file for this run

name: Fix uses of boost namespace
on:
push:
branches:
- '**'
jobs:
namespaces:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- name: Check
run: |
sed -i -e 's/boost::shared_ptr/ext::shared_ptr/g' SWIG/*
sed -i -e 's/boost::make_shared/ext::make_shared/g' SWIG/*
sed -i -e 's/boost::dynamic_pointer_cast/ext::dynamic_pointer_cast/g' SWIG/*
sed -i -e 's/boost::tuple/ext::tuple/g' SWIG/*
sed -i -e 's/boost::get/ext::get/g' SWIG/*
sed -i -e 's/boost::function/ext::function/g' SWIG/*
- uses: peter-evans/create-pull-request@v3
with:
token: ${{ secrets.GITHUB_TOKEN }}
branch: fix-boost-namespace-${{ github.ref }}
delete-branch: true
commit-message: 'Fix uses of boost namespace'
title: 'Fix uses of boost namespace'
author: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>