diff --git a/.github/haskell-ci.patch b/.github/haskell-ci.patch index cffc543501..c451df30df 100644 --- a/.github/haskell-ci.patch +++ b/.github/haskell-ci.patch @@ -8,7 +8,7 @@ + - .github/workflows/haskell-ci.yml + - agda-stdlib-utils.cabal + - cabal.haskell-ci -+ - *.hs ++ - "*.hs" pull_request: branches: - master @@ -17,7 +17,7 @@ + - .github/workflows/haskell-ci.yml + - agda-stdlib-utils.cabal + - cabal.haskell-ci -+ - *.hs ++ - "*.hs" jobs: linux: name: Haskell-CI - Linux - ${{ matrix.compiler }} diff --git a/.github/tooling/agda-logo.svg b/.github/tooling/agda-logo.svg new file mode 100644 index 0000000000..0fe434e8ed --- /dev/null +++ b/.github/tooling/agda-logo.svg @@ -0,0 +1,16 @@ + + logotype + Created with Sketch. + + + + \ No newline at end of file diff --git a/travis/index.agda b/.github/tooling/index.agda similarity index 100% rename from travis/index.agda rename to .github/tooling/index.agda diff --git a/travis/index.sh b/.github/tooling/index.sh similarity index 100% rename from travis/index.sh rename to .github/tooling/index.sh diff --git a/.github/tooling/landing-bottom.html b/.github/tooling/landing-bottom.html new file mode 100644 index 0000000000..9cd52d7c69 --- /dev/null +++ b/.github/tooling/landing-bottom.html @@ -0,0 +1,4 @@ + + + + diff --git a/.github/tooling/landing-top.html b/.github/tooling/landing-top.html new file mode 100644 index 0000000000..81b03304b9 --- /dev/null +++ b/.github/tooling/landing-top.html @@ -0,0 +1,24 @@ + + + + Documention for the Agda standard library + + + + +
+ +

Documention for the Agda standard library

+ +
+ +

Development versions

+ + + +

Released versions

+ +