PR #741 add build-pgo make target

add build-pgo make target #741

davidhewitt merged 3 commits into main from dh/make-pgo

davidhewitt commented on 2023-07-04

pydantic-hooky added ready for review

pydantic-hooky assigned

samuelcolvin 2 years ago

add build-pgo make target

cc665501

davidhewitt force pushed from 3958f461 to cc665501 2 years ago

adriangb approved these changes on 2023-07-06

add support for maturin in build-dev

cd0d07bb

use build-dev in ci where it makes sense

6b357d35

davidhewitt merged 634087a5 into main 2 years ago

davidhewitt deleted the dh/make-pgo branch 2 years ago

Reviewers

adriangb

Assignees

samuelcolvin

Labels

ready for review

Milestone

No milestone