lebesgue measure and integral

Co-authored-by: Cyril Cohen <cyril.cohen@inria.fr>
math-comp · Feb 25, 2022 · 9b75bab · 9b75bab
1 parent 60b47c2
commit 9b75bab
Show file tree

Hide file tree

Showing 34 changed files with 17,118 additions and 2,786 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -17,14 +17,16 @@ jobs:
     strategy:
       matrix:
         image:
-          - 'mathcomp/mathcomp:1.12.0-coq-8.13'
-          - 'mathcomp/mathcomp:1.12.0-coq-8.14'
           - 'mathcomp/mathcomp:1.13.0-coq-8.13'
           - 'mathcomp/mathcomp:1.13.0-coq-8.14'
           - 'mathcomp/mathcomp:1.13.0-coq-8.15'
+          - 'mathcomp/mathcomp:1.14.0-coq-8.13'
+          - 'mathcomp/mathcomp:1.14.0-coq-8.14'
+          - 'mathcomp/mathcomp:1.14.0-coq-8.15'
           - 'mathcomp/mathcomp:1.14.0-coq-dev'
           - 'mathcomp/mathcomp-dev:coq-8.13'
           - 'mathcomp/mathcomp-dev:coq-8.14'
+          - 'mathcomp/mathcomp-dev:coq-8.15'
           - 'mathcomp/mathcomp-dev:coq-dev'
       fail-fast: false
     steps:

diff --git a/.github/workflows/nix-action-8.13.yml b/.github/workflows/nix-action-8.13.yml