Skip to content

Convert porter/porter to GitHub Actions #328

Convert porter/porter to GitHub Actions

Convert porter/porter to GitHub Actions #328

Triggered via pull request August 30, 2023 23:10
Status Skipped
Total duration 2s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

build-publish-from-fork.yaml

on: pull_request
Fit to window
Zoom out
Zoom in