oscar-system / Oscar.jl

A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory.
https://www.oscar-system.org
Other
339 stars 120 forks source link

`InitError: cannot load the GAP package recog` on CI #4032

Open lgoettgens opened 3 weeks ago

lgoettgens commented 3 weeks ago

This happened on an ubuntu-latest runner with julia julia version 1.10.4, see https://github.com/oscar-system/Oscar.jl/actions/runs/10486939366/job/29046276541?pr=4030#step:6:7 for the error log (copied below as well).

It's the first time that I see it, but I thought we should keep track to see if it is happening more often.

Run julia --project=. --color=yes -e 'using Oscar; Oscar.doc_init(; path="docs/")'
  julia --project=. --color=yes -e 'using Oscar; Oscar.doc_init(; path="docs/")'
  shell: /usr/bin/bash -e {0}
  env:
    JULIA_PKG_SERVER_REGISTRY_PREFERENCE: eager
ERROR: InitError: cannot load the GAP package recog
Stacktrace:
  [1] error(s::String)
    @ Base ./error.jl:35
  [[2](https://github.com/oscar-system/Oscar.jl/actions/runs/10486939366/job/29046276541?pr=4030#step:6:2)] __init__()
    @ Oscar ~/work/Oscar.jl/Oscar.jl/src/Oscar.jl:125
  [3] run_module_init(mod::Module, i::Int64)
    @ Base ./loading.jl:11[3](https://github.com/oscar-system/Oscar.jl/actions/runs/10486939366/job/29046276541?pr=4030#step:6:3)4
  [4] register_restored_modules(sv::Core.SimpleVector, pkg::Base.PkgId, path::String)
    @ Base ./loading.jl:1122
  [5] _include_from_serialized(pkg::Base.PkgId, path::String, ocachepath::String, depmods::Vector{Any})
    @ Base ./loading.jl:1067
  [6] _tryrequire_from_serialized(pkg::Base.PkgId, path::String, ocachepath::String)
    @ Base ./loading.jl:1531
  [7] _require(pkg::Base.PkgId, env::String)
    @ Base ./loading.jl:1990
  [8] __require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:1812
  [9] #invoke_in_world#3
    @ ./essentials.jl:926 [inlined]
 [10] invoke_in_world
    @ ./essentials.jl:923 [inlined]
 [11] _require_prelocked(uuidkey::Base.PkgId, env::String)
    @ Base ./loading.jl:1803
 [12] macro expansion
    @ ./loading.jl:1790 [inlined]
 [13] macro expansion
    @ ./lock.jl:267 [inlined]
 [1[4](https://github.com/oscar-system/Oscar.jl/actions/runs/10486939366/job/29046276541?pr=4030#step:6:4)] __require(into::Module, mod::Symbol)
    @ Base ./loading.jl:17[5](https://github.com/oscar-system/Oscar.jl/actions/runs/10486939366/job/29046276541?pr=4030#step:6:5)3
 [15] #invoke_in_world#3
    @ ./essentials.jl:92[6](https://github.com/oscar-system/Oscar.jl/actions/runs/10486939366/job/29046276541?pr=4030#step:6:7) [inlined]
 [16] invoke_in_world
    @ ./essentials.jl:923 [inlined]
 [1[7](https://github.com/oscar-system/Oscar.jl/actions/runs/10486939366/job/29046276541?pr=4030#step:6:8)] require(into::Module, mod::Symbol)
    @ Base ./loading.jl:1746
during initialization of module Oscar
joschmitt commented 3 weeks ago

Is this related to #3875?

lgoettgens commented 3 weeks ago

I dont't think so as (afaik) #3875 only happened on the RPTU runners, but the above log is from a github ubuntu runner

benlorenz commented 3 weeks ago

The second try seems to have succeeded and I could find any other occurrences of this, maybe this was some network issue? (This job doesn't even have caching so this was with a clean julia depot) Could we add some debugging to these kind of failures, maybe just dump the relevant log files from the gaproot to stdout, at least when ENV["CI"] is set ?

lgoettgens commented 1 week ago

I just saw this again, this time on test-nightly-short-ubuntu here: https://github.com/oscar-system/Oscar.jl/actions/runs/10715883465/job/29712217570?pr=3821#step:9:322