Build pull request on push

attempt at fixing github releases' names? #1138

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Triggered via pull request August 20, 2024 05:27

screret

opened #1793

sc/fix-gh-release-names

Status Success

Total duration 13s

Artifacts –

build-on-push.yml

on: pull_request