Julia and Gitlab self-hosted : a state-of-the-art?
|
|
23
|
1894
|
May 15, 2023
|
JuliaRegistries setup for air gapped network
|
|
28
|
688
|
March 8, 2023
|
LocalRegistry.jl: is `master` branch required?
|
|
3
|
384
|
September 12, 2022
|
Private registry
|
|
8
|
1353
|
September 7, 2022
|
New package version not appearing on Juliahub
|
|
6
|
197
|
July 30, 2022
|
Package registration: Git tag already exists and points to a different commit?
|
|
0
|
195
|
July 16, 2022
|
Github ci: add custom registry
|
|
1
|
417
|
July 6, 2022
|
Just cleaned up 17G of registries
|
|
0
|
268
|
June 1, 2022
|
Julia registry not getting updated
|
|
1
|
204
|
May 3, 2022
|
Cannot submit a new package, because "registry is dirty"
|
|
2
|
297
|
March 29, 2022
|
Local Registry RSA key Problem
|
|
3
|
592
|
March 21, 2022
|
Unable to add registries through proxy on Julia 1.7.1, Julia 1.7.0
|
|
10
|
645
|
March 18, 2022
|
List of packages in a registry Julia 1.7+
|
|
7
|
642
|
February 25, 2022
|
Could not download registries Julia 1.7.2
|
|
0
|
541
|
February 9, 2022
|
Installing own package with dependency
|
|
10
|
361
|
December 13, 2021
|
General registry disappeared from 1.6 after updating to 1.7
|
|
2
|
385
|
December 2, 2021
|
Update on renaming registered packages
|
|
2
|
554
|
November 10, 2021
|
General registry delays, and a workaround
|
|
5
|
1702
|
October 10, 2021
|
Registered new release still pointing to old version
|
|
6
|
471
|
October 9, 2021
|
[SOLVED] Package Management: Remove a local registry
|
|
5
|
823
|
August 4, 2021
|
Error by adding registry
|
|
1
|
199
|
June 23, 2021
|
Tagbot is not tagging releases automatically
|
|
1
|
310
|
May 24, 2021
|
Renaming master to main -- Julia-specific experience
|
|
8
|
883
|
March 23, 2021
|
Any risk in changing Github repo name from `MyProject` to `MyProject.jl`?
|
|
4
|
583
|
March 19, 2021
|
Contents of `.julia/registries` deleted upon Pkg operations or Pluto notebook use
|
|
9
|
692
|
January 11, 2021
|
Problem adding a local registry from remote
|
|
1
|
312
|
December 28, 2020
|
Creating a registry
|
|
29
|
7077
|
December 1, 2020
|
Us-west.pkg.julialang.org is down. How to switch to east?
|
|
1
|
322
|
November 30, 2020
|
Release a new version of registered packages (again)
|
|
2
|
904
|
October 5, 2020
|
Release next version of registered packages
|
|
5
|
605
|
October 3, 2020
|