Skip to content

make sure char values are in the correct field #2594

make sure char values are in the correct field

make sure char values are in the correct field #2594

Triggered via pull request August 29, 2024 21:26
Status Success
Total duration 38s
Artifacts

CleanupDocPreview.yml

on: pull_request
cleanup-doc-preview
30s
cleanup-doc-preview
Fit to window
Zoom out
Zoom in

Annotations

1 error
cleanup-doc-preview
unable to access 'https://github.com/oscar-system/Oscar.jl/': Failed to connect to github.com port 443 after 4 ms: Connection refused