Closed powergee closed 5 months ago
The deployment failure is due to the environment protection rule for GitHub Pages, which can be configured Settings > Environments > github-pages > Deployment branches and tags
. I think it must be done after merging.
-rs
from SMR directory names.smrs
).kaist-cp/smr-benchmark
, which has not generated a doc yet. I have tested that the badge is rendered properly with a link to a forked one (powergee/pebr-benchmark
).