Skip to content

Commit

Permalink
Debug CI
Browse files Browse the repository at this point in the history
Signed-off-by: Kakadu <[email protected]>
  • Loading branch information
Kakadu committed Jul 30, 2024
1 parent 0bedb89 commit 59be806
Show file tree
Hide file tree
Showing 4 changed files with 21 additions and 7 deletions.
23 changes: 18 additions & 5 deletions .github/workflows/master.yml
Original file line number Diff line number Diff line change
Expand Up @@ -22,11 +22,13 @@ jobs:
matrix:
os:
- ubuntu-latest

concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
runs-on: ${{ matrix.os }}
container:
image: ocaml/opam:ubuntu-lts-ocaml-4.14
options: --user root # dirty hack
options: --user opam # dirty hack

steps:
- name: Cancel Previous Runs
Expand All @@ -42,12 +44,17 @@ jobs:
sudo apt-get install pkg-config libpcre2-dev m4 -y
- run: opam --version

- run: |
git config --global --add safe.directory /__w/GT/GT
git submodule update --init
- name: bisect many not work without it
if: false
run: |
git config --global --add safe.directory /__w/GT/GT
#git submodule update --init
- run: opam pin add GT . --no-action
if: false

- run: opam depext GT --yes #--with-test
if: false

- name: Install dependecies for documentation
run: |
Expand Down Expand Up @@ -77,6 +84,12 @@ jobs:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./_build/default/_doc/_html

- name: Build API documentation
if: github.event_name != 'pull_request'
run: |
opam exec -- make install odig
echo "ODIG_DOC_LOC=$(opam exec -- odig cache path)/html" >> $GITHUB_ENV

- name: Send coverage report to Coveralls
run: |
#git config --global --add safe.directory /__w/zanuda/zanuda
Expand Down
3 changes: 1 addition & 2 deletions .github/workflows/master52.yml
Original file line number Diff line number Diff line change
Expand Up @@ -43,10 +43,9 @@ jobs:
- run: opam --version

- name: Update submodules
if: false
run: |
git config --global --add safe.directory /__w/GT/GT
git submodule update --init
#git submodule update --init
- run: opam pin add GT . --no-action
if: false
Expand Down
1 change: 1 addition & 0 deletions GT.opam
Original file line number Diff line number Diff line change
Expand Up @@ -34,6 +34,7 @@ depends: [
"conf-m4" {build}
"odoc" {with-doc}
"odig" {with-doc}
"pa-ppx" {with-doc}
]
build: [
["dune" "subst"] {dev}
Expand Down
1 change: 1 addition & 0 deletions dune-project
Original file line number Diff line number Diff line change
Expand Up @@ -45,6 +45,7 @@
(conf-m4 :build)
(odoc :with-doc)
(odig :with-doc)
(pa-ppx :with-doc)
;
))

Expand Down

0 comments on commit 59be806

Please sign in to comment.