File tree Expand file tree Collapse file tree 3 files changed +51
-3
lines changed Expand file tree Collapse file tree 3 files changed +51
-3
lines changed Original file line number Diff line number Diff line change 1+ name : Build
2+
3+ on :
4+ pull_request :
5+ push :
6+ schedule :
7+ # Prime the caches every Monday
8+ - cron : 0 1 * * MON
9+
10+ jobs :
11+ build :
12+ strategy :
13+ fail-fast : false
14+ matrix :
15+ os :
16+ - macos-latest
17+ - ubuntu-latest
18+ ocaml-compiler :
19+ - 4.08.x
20+ - 4.09.x
21+ - 4.10.x
22+ - 4.11.x
23+ - 4.12.x
24+
25+ runs-on : ${{ matrix.os }}
26+
27+ steps :
28+ - name : Check out code
29+ uses : actions/checkout@v2
30+
31+ - name : Use OCaml ${{ matrix.ocaml-compiler }}
32+ uses : ocaml/setup-ocaml@v2
33+ with :
34+ ocaml-compiler : ${{ matrix.ocaml-compiler }}
35+ dune-cache : ${{ matrix.os != 'macos-latest' }}
36+ opam-depext : false
37+ opam-pin : false
38+
39+ - run : opam pin add ocsigen-toolkit.dev . --no-action
40+
41+ - run : opam depext ocsigen-toolkit
42+
43+ - run : opam install . --deps-only
44+
45+ - run : opam exec -- make
Original file line number Diff line number Diff line change 1- # Ocsigen Toolkit
1+ # Ocsigen Toolkit [ ![ Build ] ( https://github.com/ocsigen/ocsigen-toolkit/actions/workflows/build.yml/badge.svg )] ( https://github.com/ocsigen/ocsigen-toolkit/actions/workflows/build.yml )
22
33## Introduction
44
Original file line number Diff line number Diff line change 11opam-version: "2.0"
22name: "ocsigen-toolkit"
3- version: "2.12.1 "
3+ version: "2.12.2 "
4455synopsis: "Reusable UI components for Eliom applications (client only, or client-server)"
66description: "The Ocsigen Toolkit is a set of user interface widgets that facilitate the development of Eliom applications."
@@ -12,7 +12,10 @@ license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"
1212build: [ make "-j%{jobs}%" ]
1313install: [ make "install" ]
1414depends: [
15- "ocaml" {>= "4.07 .0"}
15+ "ocaml" {>= "4.08 .0"}
1616 "eliom" {>= "6.12.1"}
1717 "calendar"
1818]
19+ depexts: [
20+ ["libgdbm-dev"] {os-family = "debian"}
21+ ]
You can’t perform that action at this time.
0 commit comments