Skip to content
Whitespace

Make write(IO, Char) actually return the amount of printed bytes instead of the attempted written bytes. #4870

Sign in to view logs

Make write(IO, Char) actually return the amount of printed bytes instead of the attempted written bytes.

Make write(IO, Char) actually return the amount of printed bytes instead of the attempted written bytes. #4870

Workflow file for this run

.github/workflows/Whitespace.yml at 4e340e4
name: Whitespace
permissions: {}
on:
push:
branches:
- master
pull_request:
jobs:
whitespace:
name: Check whitespace
runs-on: ubuntu-latest
timeout-minutes: 2
steps:
- name: Checkout the JuliaLang/julia repository
uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7
with:
persist-credentials: false
- uses: julia-actions/setup-julia@9b79636afcfb07ab02c256cede01fe2db6ba808c # v2.6.0
with:
version: '1'
- name: Check whitespace
run: |
contrib/check-whitespace.jl