github: do not build pushed branches, only pull requests #783

Sign in to view logs

Triggered via pull request October 16, 2024 12:40

oharboe

opened #218

github-pr-build

Status Success

Total duration 9m 12s

Artifacts –

ci.yml

on: pull_request

Generate configs

Lint Bazel files

Local flow - clean setup

Matrix: test-make-target

Matrix: test-open-target

Local flow - preinstalled orfs