search

JuliaPOMDP / POMDPs.jl

MDPs and POMDPs in Julia - An interface for defining, solving, and simulating fully and partially observable Markov decision processes on discrete and continuous spaces.
http://juliapomdp.github.io/POMDPs.jl/latest/
Other
662 stars 100 forks source link

Add DOCUMENTER_KEY ssh keys to all repos that use CompatHelper #364

Closed zsunberg closed 2 years ago

zsunberg commented 3 years ago

CompatHelper currently cannot trigger other CI events since we use GITHUB_TOKEN, which makes CompatHelper's PRs not very useful. We need to have at least one SSH key for each repo. It seems like the current widely-used practice is to have the secret be called DOCUMENTER_KEY

zsunberg commented 2 years ago

I am pretty sure this has been completed