formal-ledger-specifications/.github/workflows/ci.yml at master · IntersectMBO/formal-ledger-specifications · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
name: CI
on:
  push:
    branches:
    - master
    - legacy-latex  # ensure legacy-latex-artifacts branch gets created
    - leios-main    # Leios integration branch; keeps leios-main-artifacts fresh
  pull_request:
    branches:
    - master
    - leios-main
  # For running the workflow manually - useful for branches without PRs, for
  # which CI isn't run automatically
  workflow_dispatch:

permissions:
  contents: write

jobs:
  formal-ledger-agda:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v6
      - uses: cachix/install-nix-action@v31
        with:
          nix_path: nixpkgs=https://github.com/NixOS/nixpkgs/archive/6c5963357f3c1c840201eda129a99d455074db04.tar.gz
          extra_nix_config: |
            trusted-public-keys = hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ= cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY=
            substituters = https://cache.iog.io https://cache.nixos.org/
      - name: Build formal-ledger
        id: formal-ledger
        run: |
          nix build -o outputs
      - name: Upload agda _build artifact
        uses: actions/upload-artifact@v7
        with:
          name: _build
          path: outputs/_build
      - name: Upload agda typechecking time artifact
        uses: actions/upload-artifact@v7
        with:
          name: typecheck.time
          path: outputs/typecheck.time

  hs:
    needs: [formal-ledger-agda]
    uses: ./.github/workflows/build_artifact.yml
    with:
      target: hs

  mkdocs:
    needs: [formal-ledger-agda]
    uses: ./.github/workflows/build_artifact.yml
    with:
      target: mkdocs

  push-artifacts-to-branch:
    # This job runs only if the workflow has not been manually dispached,
    # and the origininating branch belongs to the repository
    if: ${{ github.event_name != 'workflow_dispatch' && ! github.event.pull_request.head.repo.fork }}
    needs: [formal-ledger-agda, hs, mkdocs]
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v6
        with:
          fetch-depth: 0
      - name: Set artifacts_branch variable
        id: set-artifacts-branch
        run: |
          printf "Set the artifacts branch name.\n"
          if [[ -n "${{ github.event.pull_request.head.ref }}" ]]; then
            printf "This workflow was triggered by a PR to master\n"
            echo "artifacts_branch=${{ github.event.pull_request.head.ref }}-artifacts" >> $GITHUB_OUTPUT
            printf "artifacts_branch: %s\n" "${{ github.event.pull_request.head.ref }}-artifacts"
          else
            printf "This workflow was triggered by a push event to ${{ github.ref_name }}\n"
            echo "artifacts_branch=${{ github.ref_name }}-artifacts" >> $GITHUB_OUTPUT
            printf "artifacts_branch: %s\n" "${{ github.ref_name }}-artifacts"
          fi
      # Checkout env.artifacts_branch if it already exists otherwise create a new orphan branch.
      # Lastly, remove all files from the repo.
      - name: Checkout artifacts branch
        run: |
          if [[ -n "$(git ls-remote --heads origin "${ARTIFACTS_BRANCH}")" ]]; then
            git checkout "${ARTIFACTS_BRANCH}"
          else
            git checkout --orphan "${ARTIFACTS_BRANCH}"
          fi
          find . -mindepth 1 -not -name cardano-ledger.pdf -not -name conway-ledger.pdf  -not -path './.git*' -delete
        env:
          ARTIFACTS_BRANCH: ${{ steps.set-artifacts-branch.outputs.artifacts_branch }}
      - name: Download artifacts
        uses: actions/download-artifact@v8
        with:
          pattern: '!_build'
          merge-multiple: true
      - name: Rename mkdocs to site
        run: |
          mv mkdocs site
      - name: Generate website
        run: |
          cat << EOF > index.html
          <!DOCTYPE html>
          <html>
          <head>
           <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
           <meta name="Author" content="IOHK">
           <title>Formal Ledger Specifications</title>
           <style type="text/css">
            BODY { font-family : monospace, sans-serif;  color: black;}
            P { font-family : monospace, sans-serif; color: black; margin:0px; padding: 0px;}
            A:visited { text-decoration : none; margin : 0px; padding : 0px;}
            A:link    { text-decoration : none; margin : 0px; padding : 0px;}
            A:hover   { text-decoration: underline; background-color : yellow; margin : 0px; padding : 0px;}
            A:active  { margin : 0px; padding : 0px;}
            .VERSION { font-size: small; font-family : arial, sans-serif; }
           </style>
          </head>
          <body>
          	<h1>Directory Tree</h1><p>
          EOF

          tree -H '.'                     \
               -L 1                       \
               --dirsfirst                \
               --hintro=/dev/null         \
               --houtro=/dev/null         \
               --metafirst                \
               --charset utf-8            \
               --timefmt '%d-%b-%Y %H:%M' \
               -I "index.html"            \
               -I "hs"                    \
               -h -D --du                 \
               >> index.html

          cat << EOF >> index.html
          	<hr>
          	<p class="VERSION">
              Automatically generated from commit <a href="https://github.com/intersectmbo/formal-ledger-specifications/commit/${{ github.sha }}">${{ github.sha }}</a> on branch ${{ github.ref_name }}
          	</p>
          </body>
          </html>
          EOF

      - name: Commit artifacts
        run: |
            git config user.name 'github-actions[bot]'
            git config user.email 'github-actions[bot]@users.noreply.github.com'
            git add -A
            git commit --allow-empty -m "Artifacts generated from ${{ github.sha }}"
      - name: Push ${{ env.artifacts_branch }}
        uses: ad-m/github-push-action@v1
        with:
            github_token: ${{ secrets.GITHUB_TOKEN }}
            branch: ${{ steps.set-artifacts-branch.outputs.artifacts_branch }}
            force: true