Skip to content

rounding the predicted mean up to the order of the most significative digit of the variance #119

rounding the predicted mean up to the order of the most significative digit of the variance

rounding the predicted mean up to the order of the most significative digit of the variance #119

Workflow file for this run

name: TagBot
on:
issue_comment:
types:
- created
workflow_dispatch:
jobs:
TagBot:
if: github.event_name == 'workflow_dispatch' || github.actor == 'JuliaTagBot'
runs-on: ubuntu-latest
steps:
- uses: JuliaRegistries/TagBot@v1
with:
token: ${{ secrets.GITHUB_TOKEN }}
ssh: ${{ secrets.DOCUMENTER_KEY }}