File tree Expand file tree Collapse file tree 3 files changed +5
-12
lines changed Expand file tree Collapse file tree 3 files changed +5
-12
lines changed Original file line number Diff line number Diff line change 95
95
TOKEN="${{ secrets.GITHUB_TOKEN }}" ./dev/simulate_dist.sh; \
96
96
fi
97
97
- name : Upload code coverage
98
- if : github.event_name != 'schedule' && matrix.image == 'ghcr.io/homalg-project/gap-docker-master :latest'
98
+ if : github.event_name != 'schedule' && matrix.image == 'ghcr.io/homalg-project/gap-docker:latest'
99
99
env :
100
100
CODECOV_TOKEN : ${{ secrets.CODECOV_TOKEN }}
101
101
run : |
Original file line number Diff line number Diff line change
1
+ SetUserPreference( "ShortBanners", true );
2
+
1
3
# Prefer GAPInfo.UserGapRoot over other package directories to prevent accidentally testing package
2
4
# versions distributed with GAP.
3
5
@@ -7,16 +9,7 @@ FORCE_LOADING_FROM_USER_GAP_ROOT := function ( )
7
9
package_info := GAPInfo.PackagesInfo.(name);
8
10
pos := PositionProperty( package_info, info -> StartsWith( info.InstallationPath, GAPInfo.UserGapRoot ) );
9
11
if pos <> fail then
10
- # work around https://github.com/gap-system/gap/pull/5178
11
- if IsBound( GAPInfo.PackagesLoaded.(name) ) then
12
- if StartsWith( GAPInfo.PackagesLoaded.(name)[1], GAPInfo.UserGapRoot ) then
13
- continue;
14
- else
15
- Error( "package already loaded at ", GAPInfo.PackagesLoaded.(name)[1] );
16
- fi;
17
- else
18
- SetPackagePath( name, package_info[pos].InstallationPath );
19
- fi;
12
+ SetPackagePath( name, package_info[pos].InstallationPath );
20
13
fi;
21
14
od;
22
15
end;
Original file line number Diff line number Diff line change 722
722
# BSD and GNU make.
723
723
for f in ./* /* .htm* ; do
724
724
sed \
725
- -e ' s;href="../../../doc/;href="https://www .gap-system.org/Manuals /doc/;g' \
725
+ -e ' s;href="../../../doc/;href="https://docs .gap-system.org/doc/;g' \
726
726
-e ' s;href="../../../pkg/GAPDoc[^\/]*/doc/;href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/doc/;g' \
727
727
-e ' s;href="../../../pkg/gapdoc[^\/]*/doc/;href="http://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc/doc/;g' \
728
728
" $f " > " $f .bak"
You can’t perform that action at this time.
0 commit comments