Leo d6d0a2ffd8 Merge pull request #624 from powdr-labs/ci-test-profile ...

Using a custom cargo profile in the per PR tests.

2023-09-25 09:22:11 +00:00

..

dead-links.yml

Enabling CI jobs for PRs as the merge queue conditional.

2023-09-18 18:13:22 +01:00

deploy-book.yml

create powdr book

2023-07-27 14:51:22 +02:00

nightly-tests.yml

Use rust toolchain 1.72 (#550)

2023-08-31 13:25:36 +00:00

pr-tests.yml

Merge pull request #624 from powdr-labs/ci-test-profile

2023-09-25 09:22:11 +00:00