Merge branch 'master' into enhance_wrapped_distr

Author: yebai

.github/workflows/CI.yml

@@ -3,15 +3,12 @@ name: CI
 on:
   push:
     branches:
-      # This is where pull requests from "bors r+" are built.
-      - staging
-      # This is where pull requests from "bors try" are built.
-      - trying
-      # Build the master branch.
       - master
   pull_request:
     branches:
       - master
+  merge_group:
+    types: [checks_requested]
 
 jobs:
   test:

.github/workflows/Docs.yml

@@ -3,14 +3,13 @@ name: Documentation
 on:
   push:
     branches:
-      # This is where pull requests from "bors r+" are built.
-      - staging
-      # This is where pull requests from "bors try" are built.
-      - trying
-      # Build the master branch.
       - master
     tags: '*'
   pull_request:
+    branches:
+      - master
+  merge_group:
+    types: [checks_requested]
 
 concurrency:
   # Skip intermediate builds: always.

.github/workflows/Format.yml

@@ -3,13 +3,12 @@ name: Format
 on:
   push:
     branches:
-      # This is where pull requests from "bors r+" are built.
-      - staging
-      # This is where pull requests from "bors try" are built.
-      - trying
-      # Build the master branch.
       - master
   pull_request:
+    branches:
+      - master
+  merge_group:
+    types: [checks_requested]
 
 concurrency:
   # Skip intermediate builds: always.

.github/workflows/IntegrationTest.yml

@@ -3,12 +3,12 @@ name: IntegrationTest
 on:
   push:
     branches:
-      # This is where pull requests from "bors r+" are built.
-      - staging
-      # This is where pull requests from "bors try" are built.
-      - trying
-      # Build the master branch.
       - master
+  merge_group:
+    types: [checks_requested]
+  pull_request:
+    branches: [master]
+    types: [auto_merge_enabled]
 
 jobs:
   test:

.github/workflows/JuliaNightly.yml

@@ -3,11 +3,9 @@ name: JuliaNightly
 on:
   push:
     branches:
-      # This is where pull requests from "bors r+" are built.
-      - staging
-      # This is where pull requests from "bors try" are built.
-      - trying
-      # Build the master branch.
+      - master
+  pull_request:
+    branches:
       - master
 
 jobs:

Project.toml

@@ -1,6 +1,6 @@
 name = "DynamicPPL"
 uuid = "366bfd00-2699-11ea-058f-f148b4cae6d8"
-version = "0.21.6"
+version = "0.23.1"
 
 [deps]
 AbstractMCMC = "80f14c24-f653-4e6a-9b94-39d6b0f70001"
@@ -24,7 +24,7 @@ ZygoteRules = "700de1a5-db45-46bc-99cf-38207098b444"
 AbstractMCMC = "2, 3.0, 4"
 AbstractPPL = "0.5.3"
 BangBang = "0.3"
-Bijectors = "0.5.2, 0.6, 0.7, 0.8, 0.9, 0.10"
+Bijectors = "0.13"
 ChainRulesCore = "0.9.7, 0.10, 1"
 ConstructionBase = "1"
 Distributions = "0.23.8, 0.24, 0.25"

README.md

@@ -9,7 +9,6 @@
 [![Codecov](https://codecov.io/gh/TuringLang/DynamicPPL.jl/branch/master/graph/badge.svg)](https://codecov.io/gh/TuringLang/DynamicPPL.jl)
 [![Code Style: Blue](https://img.shields.io/badge/code%20style-blue-4495d1.svg)](https://github.com/invenia/BlueStyle)
 [![ColPrac: Contributor's Guide on Collaborative Practices for Community Packages](https://img.shields.io/badge/ColPrac-Contributor%27s%20Guide-blueviolet)](https://colprac.sciml.ai/)
-[![Bors enabled](https://bors.tech/images/badge_small.svg)](https://app.bors.tech/repositories/24589)
 
 *A domain-specific language and backend for probabilistic programming, used by [Turing.jl](https://github.com/TuringLang/Turing.jl).*
 
@@ -29,24 +28,21 @@ If you feel you have some relevant skills and are interested in contributing, pl
 
 ### Contributor's Guide
 
-This project follows the [![ColPrac: Contributor's Guide on Collaborative Practices for Community Packages](https://img.shields.io/badge/ColPrac-Contributor's%20Guide-blueviolet)](https://colprac.sciml.ai/), apart from the following slight variation:
+This project follows the [![ColPrac: Contributor's Guide on Collaborative Practices for Community Packages](https://img.shields.io/badge/ColPrac-Contributor%27s%20Guide-blueviolet)](https://colprac.sciml.ai/), apart from the following slight variation:
 
-- The master branch contains the most recent release at any point in time. All non-breaking changes (bug fixes etc.) are merged directly into master and a new patch version is released immediately.
-- A separate dev branch contains all breaking changes, and is merged into master when a minor version release happens.
+  - The master branch contains the most recent release at any point in time. All non-breaking changes (bug fixes etc.) are merged directly into master and a new patch version is released immediately.
+  - A separate dev branch contains all breaking changes, and is merged into master when a minor version release happens.
 
 For instance, suppose we are currently on version 0.13.5.
 
-- If someone produces a bug fix, it is merged directly into master and bumps the version to 0.13.6. This change is also merged into dev so that it remains up-to-date with master.
-- If someone is working on a new feature that is not breaking (performance-related, fancy new syntax that is backwards-compatible etc.), the same happens.
-- New breaking changes are merged into dev until a release is ready to go, at which point dev is merged into master and version 0.14 is released.
+  - If someone produces a bug fix, it is merged directly into master and bumps the version to 0.13.6. This change is also merged into dev so that it remains up-to-date with master.
+  - If someone is working on a new feature that is not breaking (performance-related, fancy new syntax that is backwards-compatible etc.), the same happens.
+  - New breaking changes are merged into dev until a release is ready to go, at which point dev is merged into master and version 0.14 is released.
 
-### Bors
+### Merge Queue
 
-This project uses [Bors](https://bors.tech/) for merging PRs. Bors is a Github bot that prevents merge skew / semantic merge conflicts by testing
-the exact integration of pull requests before merging them.
+This project uses a [merge queue](https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-a-merge-queue) for merging PRs.
+In this way, merge skew / semantic merge conflicts are prevented by testing the exact integration of pull requests before merging them.
 
-When a PR is good enough for merging and has been approved by at least one reviewer, instead of merging immediately, it is added to the merge queue
-by commenting with `bors r+`. The Bors bot merges the pull request into a staging area, and runs the CI tests. If tests pass, the commit in the staging
-area is copied to the target branch (i.e., usually master).
-
-PRs can be tested by adding a comment with `bors try`. Additional commands can be found in the [Bors documentation](https://bors.tech/documentation/).
+When a PR is good enough for merging and has been approved by at least one reviewer, instead of merging immediately, it is added to the merge queue.
+If the CI tests pass, including downstream tests of Turing, the PR is merged into the main branch.

bors.toml

@@ -12,7 +12,7 @@ StableRNGs = "860ef19b-820b-49d6-a774-d7a799459cd3"
 DataStructures = "0.18"
 Distributions = "0.25"
 Documenter = "0.27"
-FillArrays = "0.13"
+FillArrays = "0.13, 1"
 LogDensityProblems = "2"
 MLUtils = "0.3, 0.4"
 Setfield = "0.7.1, 0.8, 1"

docs/Project.toml

@@ -208,7 +208,8 @@ DynamicPPL.link!!
 DynamicPPL.invlink!!
 DynamicPPL.default_transformation
 DynamicPPL.maybe_invlink_before_eval!!
-``` 
+DynamicPPL.reconstruct
+```
 
 #### Utils