Personal notes on the OSCAR workflow. - ulthiel/Oscar.jl GitHub Wiki

Updating OSCAR

On whatever local branch you are working do

git pull origin master

Maybe you need to set git config pull.rebase false if you get errors. Then in Julia do ]up.

Adding features

Switch to master branch and update

git checkout master
gh repo sync

Then create new branch

git checkout -b ut/patitions

Push branch to my fork on Github via

git push fork

Then open pull request.

Testing

Run unit test on a file via

Oscar.test_module("Experimental/JuLie/partitions", false)

Documentation

Build the OSCAR documentation with

build_doc(;open_browser=false)

If you added references to docs/oscar_references.bib then run

bibtool docs/oscar_references.bib -o docs/oscar_references.bib

from the OSCAR root directory.

Sync a local copy of the documentation via

rsync -a SERVER:/home/thiel/Oscar.jl/docs/build/ /Users/thiel/Tmp/Oscar-Doc