rules_ocaml dg: add c_tools, debugging, testing articles #103
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Build and deploy jekyll-asciidoc site | |
| on: | |
| push: | |
| branches: | |
| - dx | |
| # - main | |
| # - source | |
| # It is highly recommended that you only run this action on push to a | |
| # specific branch, eg. master or source (if on *.github.io repo) | |
| # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages | |
| permissions: | |
| contents: read | |
| pages: write | |
| id-token: write | |
| # Allow only one concurrent deployment, skipping runs queued between the run in-progress and latest queued. | |
| # However, do NOT cancel in-progress runs as we want to allow these production deployments to complete. | |
| concurrency: | |
| group: "pages" | |
| cancel-in-progress: false | |
| jobs: | |
| jekyll-asciidoc: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| # with: | |
| # lfs: true | |
| # token: ${{ secrets.ACCESS_TOKEN }} | |
| # include the lines below if you are using jekyll-last-modified-at | |
| # or if you would otherwise need to fetch the full commit history | |
| # however this may be very slow for large repositories! | |
| # with: | |
| # fetch-depth: '0' | |
| - name: 💎 setup ruby | |
| uses: ruby/setup-ruby@v1 | |
| with: | |
| ruby-version: 3.4.1 | |
| - name: Jekyll Action TS | |
| uses: limjh16/jekyll-action-ts@v2 | |
| with: | |
| enable_cache: true | |
| ### Enables caching. Similar to https://github.com/actions/cache. | |
| # | |
| # format_output: true | |
| ### Uses prettier https://prettier.io to format jekyll output HTML. | |
| # | |
| # prettier_opts: '{ "useTabs": true }' | |
| ### Sets prettier options (in JSON) to format output HTML. For example, output tabs over spaces. | |
| ### Possible options are outlined in https://prettier.io/docs/en/options.html | |
| # | |
| # prettier_ignore: 'about/*' | |
| ### Ignore paths for prettier to not format those html files. | |
| ### Useful if the file is exceptionally large, so formatting it takes a while. | |
| ### Also useful if HTML compression is enabled for that file / formatting messes it up. | |
| # | |
| # jekyll_src: docs | |
| ### If the jekyll website source is not in root, specify the directory. (in this case, sample_site) | |
| ### By default, this is not required as the action searches for a _config.yml automatically. | |
| # | |
| # gem_src: docs | |
| ### By default, this is not required as the action searches for a _config.yml automatically. | |
| ### However, if there are multiple Gemfiles, the action may not be able to determine which to use. | |
| ### In that case, specify the directory. (in this case, sample_site) | |
| ### | |
| ### If jekyll_src is set, the action would automatically choose the Gemfile in jekyll_src. | |
| ### In that case this input may not be needed as well. | |
| # | |
| # key: ${{ runner.os }}-gems-${{ hashFiles('**/Gemfile.lock') }} | |
| # restore-keys: ${{ runner.os }}-gems- | |
| ### In cases where you want to specify the cache key, enable the above 2 inputs | |
| ### Follows the format here https://github.com/actions/cache | |
| # | |
| # custom_opts: '--drafts --lsi' | |
| ### If you need to specify any Jekyll build options, enable the above input | |
| ### Flags accepted can be found here https://jekyllrb.com/docs/configuration/options/#build-command-options | |
| - name: List files in _site | |
| run: | | |
| ls ${{ github.workspace }}/_site | |
| # - name: 🚀 deploy | |
| # uses: peaceiris/actions-gh-pages@v3 | |
| # with: | |
| # github_token: ${{ secrets.GITHUB_TOKEN }} | |
| # publish_dir: ./_site | |
| # destination_dir: ./ | |
| # # if the repo you are deploying to is <username>.github.io, uncomment the line below. | |
| # # if you are including the line below, make sure your source files are NOT in the master branch: | |
| # publish_branch: gh-pages | |
| - name: Upload artifact | |
| uses: actions/upload-pages-artifact@v3 | |
| with: | |
| path: ${{ github.workspace }}/_site | |
| # Deployment job | |
| deploy: | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| needs: jekyll-asciidoc | |
| permissions: | |
| pages: write # to deploy to Pages | |
| id-token: write | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Configure Pages | |
| uses: actions/configure-pages@v4 | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v4 | |
| # uses: peaceiris/actions-gh-pages@v3 |