mirror of
https://github.com/ellmau/adf-obdd.git
synced 2025-12-19 09:29:36 +01:00
Add CI for develop branch (#62)
This commit is contained in:
parent
6d09e71ba6
commit
98753d696b
1
.github/workflows/pr.yml
vendored
1
.github/workflows/pr.yml
vendored
@ -4,6 +4,7 @@ on:
|
|||||||
pull_request:
|
pull_request:
|
||||||
branches:
|
branches:
|
||||||
- main
|
- main
|
||||||
|
- develop
|
||||||
|
|
||||||
env:
|
env:
|
||||||
RUST_BACKTRACE: 1
|
RUST_BACKTRACE: 1
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user