Skip to content
.github/workflows/daily_ci.yml

Daily CI #1

Sign in to view logs

Daily CI

Daily CI #1

Workflow file for this run

.github/workflows/daily_ci.yml at e2f2b3b
# This workflow runs every weekday at 16:00 UTC (9AM PDT)
name: Daily CI
on:
schedule:
- cron: "00 16 * * 1-5"
jobs:
getVersion:
# Don't run the cron builds on forks
if: github.event_name != 'schedule' || github.repository_owner == 'aws'
uses: ./.github/workflows/dafny_version.yaml

Check failure on line 12 in .github/workflows/daily_ci.yml

View workflow run for this annotation

GitHub Actions / .github/workflows/daily_ci.yml

Invalid workflow file 

error parsing called workflow
".github/workflows/daily_ci.yml"
-> "./.github/workflows/dafny_version.yaml"
: failed to fetch workflow: workflow was not found.
getVerifyVersion:
if: github.event_name != 'schedule' || github.repository_owner == 'aws'
uses: ./.github/workflows/dafny_verify_version.yaml
daily-ci-format:
needs: getVersion
if: github.event_name != 'schedule' || github.repository_owner == 'aws'
uses: ./.github/workflows/library_format.yml
with:
dafny: ${{needs.getVersion.outputs.version}}
daily-ci-codegen:
needs: getVersion
if: github.event_name != 'schedule' || github.repository_owner == 'aws'
uses: ./.github/workflows/library_codegen.yml
with:
dafny: ${{needs.getVersion.outputs.version}}
daily-ci-verification:
needs: getVerifyVersion
if: github.event_name != 'schedule' || github.repository_owner == 'aws'
uses: ./.github/workflows/library_dafny_verification.yml
with:
dafny: ${{needs.getVerifyVersion.outputs.version}}
daily-ci-java:
needs: getVersion
if: github.event_name != 'schedule' || github.repository_owner == 'aws'
uses: ./.github/workflows/library_java_tests.yml
with:
dafny: ${{needs.getVersion.outputs.version}}
daily-ci-net:
needs: getVersion
if: github.event_name != 'schedule' || github.repository_owner == 'aws'
uses: ./.github/workflows/library_net_tests.yml
with:
dafny: ${{needs.getVersion.outputs.version}}