Skip to content
opam CI

fix(rtop): try load ~/.config/rtop/init.re, don't load utop config files #438

Sign in to view logs

fix(rtop): try load ~/.config/rtop/init.re, don't load utop config files

fix(rtop): try load ~/.config/rtop/init.re, don't load utop config files #438

Triggered via pull request December 2, 2024 01:18
@anmonteiroanmonteiro
synchronize #2813
anmonteiro/rtop-config
Status Success
Total duration 18m 9s
Artifacts –

opam-ci.yml

on: pull_request
Matrix: Build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Build (4.14.x, windows-latest)
Cache save failed.