github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-05-13 03:00:26 -04:00
Code Issues Packages Projects Releases Wiki Activity

docs about powdr as library

Browse Source
This commit is contained in:
Leo Alt
2024-02-12 15:30:16 +01:00
parent 393d26fe9e
commit 4be3d9d2bc
7 changed files with 111 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/pr-tests.yml vendored
View File

@@ -84,6 +84,8 @@ jobs:
- uses: taiki-e/install-action@nextest
- name: Run default tests
run: PILCOM=$(pwd)/pilcom/ cargo nextest run --archive-file tests.tar.zst --verbose
- name: Run examples
run: cargo run --example hello_world
test_slow:
strategy: