Skip to content

[doc] ellipsoids/index.rst in toctree #694

[doc] ellipsoids/index.rst in toctree

[doc] ellipsoids/index.rst in toctree #694

Ubuntu 24.04 amd64

succeeded Jan 28, 2025 in 5m 1s
Set up job
0s
Run actions/checkout@v4
9s
Run echo "git_tag=`git describe --tags --abbrev=0`" >> $GITHUB_ENV
0s
Run echo "SOFTWARE_VERSION=${git_tag:1}" >> $GITHUB_ENV
0s
Run if [ -z "$CHOCO_PACKAGE_REV" ]; then echo "PACKAGE_VERSION=${SOFTWARE_VERSION/.dev*/-dev.$(date +%Y%m%d)}" >> $GITHUB_ENV ; else echo "PACKAGE_VERSION=$SOFTWARE_VERSION.$CHOCO_PACKAGE_REV" >> $GITHUB_ENV ; fi
0s
Run echo "PACKAGE_VERSION=$SOFTWARE_VERSION-${DEBIAN_PACKAGE_REV}noble$PACKAGE_REV" >> $GITHUB_ENV
0s
Run choco install -y -r --no-progress checksum wget zip
0s
Run choco install -y -r --no-progress mingw --version=7.3.0 --force
0s
Run choco install -y -r --no-progress mingw --version=8.1.0 --force
0s
Run choco install -y -r --no-progress mingw --version=11.2.0.07112021 --force
0s
Run choco install -y -r --no-progress mingw --version=12.2.0.03042023 --force
0s
Run choco install -y -r --no-progress mingw --version=13.2.0 --force
0s
Run rem choco install -y -r --no-progress eigen --version=3.4.0.20240224
0s
Run sudo sh -c 'echo "deb [trusted=yes] https://packages.ensta-bretagne.fr/$(if [ -z "$(. /etc/os-release && echo $UBUNTU_CODENAME)" ]; then echo debian/$(. /etc/os-release && echo $VERSION_CODENAME); else echo ubuntu/$(. /etc/os-release && echo $UBUNTU_CODENAME); fi) ./" > /etc/apt/sources.list.d/ensta-bretagne.list'
9s
Run #brew install eigen
0s
Run if [ Linux = Windows ]; then source ~/refreshenv.bashrc ; refreshenv ; export PATH=$BASHMINGWPATH:$PATH ; fi
2m 43s
Run if [ Linux = Windows ]; then source ~/refreshenv.bashrc ; refreshenv ; export PATH=$BASHMINGWPATH:$PATH ; fi
11s
Run if [ Linux = Windows ]; then source ~/refreshenv.bashrc ; refreshenv ; export PATH=$BASHMINGWPATH:$PATH ; fi
12s
Run source ~/refreshenv.bashrc ; refreshenv ; export PATH=$BASHMINGWPATH:$PATH
0s
Run cd packages
1m 23s
Run sudo cp -Rf codac/* /usr/local/
0s
Run xresloader/upload-to-github-release@v1
0s
Run if [ Linux = Windows ]; then source ~/refreshenv.bashrc ; refreshenv ; export PATH=$BASHMINGWPATH:$PATH ; fi
11s
Post Run actions/checkout@v4
0s
Complete job
1s