release.yml

name: Upload Release Asset
on:
  schedule:
    #      M H - - D => 06:00 of Monday 
  - cron: '0 6 * * 1'
  workflow_dispatch:

jobs:

  build:
    strategy:
      matrix:
        os: [ubuntu-latest, windows-latest]
    uses: ./.github/workflows/build.yml
    with:
      operating-system: ${{ matrix.os }}
      build-flags: '-b RelWithDebInfo -e Off'
      testing: false

  create-release:
    name: Upload Release Asset
    runs-on: ubuntu-20.04
    needs: [build]
    steps:
      - name: Download Linux Build
        uses: actions/download-artifact@v2
        with:
          name: release-ubuntu-latest
          path: ./linux-release
      - name: Create Linux Release file
        run: zip -r esbmc-linux.zip ./linux-release
      - name: Download Windows Build
        uses: actions/download-artifact@v2
        with:
          name: release-windows-latest
          path: ./windows-release
      - name: Create Windows Release file
        run: zip -r esbmc-windows.zip ./windows-release        
      - name: Get files
        run: ls
      - name: Do the release
        uses: softprops/action-gh-release@master
        with:
          name: 'ESBMC nightly'
          body: 'This is an automated nightly release of ESBMC.'
          tag_name: nightly-${{ github.sha }}
          target_commitish: ${{ github.sha }}
          prerelease: true
          files: |
            esbmc-linux.zip
            esbmc-windows.zip