Skip to content

Github workflow #1

@jaapio

Description

@jaapio

Hi,

Thanks for the research on how to use PIE to install ext-php-rs based extensions. With some trial and error I managed to complete my first extension. I saw your open todo, about the github actions workflow, So I thought it would be nice to share my attempt to get it to work: https://github.com/jaapio/php-pagefind/blob/main/.github/workflows/ci.yml

This works, but I'm not completely convinced it is the way to go. If you think it is, I can create a PR to make it part of this template repo.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions