You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Up to my understanding the current set up of GitHub CI, as found in CI.yml does not use the ocamlorg docker image (as built in Dockerfile). I see at least two issues
This discussion was converted from issue #1012 on June 07, 2023 09:37.
Heading
Bold
Italic
Quote
Code
Link
Numbered list
Unordered list
Task list
Attach files
Mention
Reference
Menu
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
-
Up to my understanding the current set up of GitHub CI, as found in CI.yml does not use the ocamlorg docker image (as built in Dockerfile). I see at least two issues
Beta Was this translation helpful? Give feedback.
All reactions