Code

[Merged by Bors] - Always run CI #453

Code

Closed

yebai wants to merge 2 commits intomasterTuringLang/DynamicPPL.jl:masterfrom hg/always-run-ciTuringLang/DynamicPPL.jl:hg/always-run-ciCopy head branch name to clipboard

+3

Commits

Commits on Jan 28, 2023

• Create CI.yml

  yebai

  authored
  086485d

  Copy full SHA for 086485d

Commits on Jan 30, 2023

• Update .github/workflows/CI.yml

  Show description for 7f06bfa
  

  yebai

  and

  devmotion

  authored
  7f06bfa

  Copy full SHA for 7f06bfa