File tree Expand file tree Collapse file tree 6 files changed +10
-15
lines changed
Expand file tree Collapse file tree 6 files changed +10
-15
lines changed Original file line number Diff line number Diff line change 88 documentation :
99 # Do not attempt to deploy documentation on forks
1010 if : github.repository_owner == 'JetBrains-Research'
11- runs-on : ubuntu-latest
11+ runs-on : ubuntu-20.04
1212 strategy :
1313 matrix :
1414 python-version : [ 3.8 ]
3232 run : make -C docs/ html
3333
3434 - name : Deploy
35- uses : JamesIves/github-pages-deploy-action@4.1.2
35+ uses : JamesIves/github-pages-deploy-action@4.1.3
3636 with :
3737 branch : gh-pages # The branch the action should deploy to.
3838 folder : docs/_build/html # The folder the action should deploy.
Load Diff This file was deleted.
Original file line number Diff line number Diff line change 11boto3>=1.17
22networkx>=2.5
33numpy>=1.20
4- pyformlang== 0.1.24
4+ pyformlang>= 0.1
55rdflib>=5.0
66requests>=2.25
77tqdm>=4.60
Original file line number Diff line number Diff line change 1- black= =20.8b1
2- pre-commit= =2.12.0
1+ black> =20.8b1
2+ pre-commit> =2.12.0
Original file line number Diff line number Diff line change 1- nb2plots= =0.6
2- numpydoc= =1.1
3- pydata_sphinx_theme== 0.6.0
4- sphinx== 3.5.4
5- sphinx-copybutton== 0.3.1
1+ nb2plots> =0.6
2+ numpydoc> =1.1
3+ pydata_sphinx_theme>= 0.6
4+ sphinx>= 3.5
5+ sphinx-copybutton>= 0.3
You can’t perform that action at this time.
0 commit comments