Commit a1427e0

authored

chore(GHA): fix daily ci (#1194)

1 parent e2f2b3b commit a1427e0Copy full SHA for a1427e0

File tree

1 file changed

+26

-8

lines changed

.github/workflows
- daily_ci.yml

1 file changed

+26

-8

lines changed

`‎.github/workflows/daily_ci.yml‎`

Lines changed: 26 additions & 8 deletions

Original file line number	Diff line number	Diff line change
`@@ -9,10 +9,10 @@ jobs:`
`9`	`9`	`getVersion:`
`10`	`10`	`# Don't run the cron builds on forks`
`11`	`11`	`if: github.event_name != 'schedule' \|\| github.repository_owner == 'aws'`
`12`		`- uses: ./.github/workflows/dafny_version.yaml`
	`12`	`+ uses: ./.github/workflows/dafny_version.yml`
`13`	`13`	`getVerifyVersion:`
`14`	`14`	`if: github.event_name != 'schedule' \|\| github.repository_owner == 'aws'`
`15`		`- uses: ./.github/workflows/dafny_verify_version.yaml`
	`15`	`+ uses: ./.github/workflows/dafny_verify_version.yml`
`16`	`16`	`daily-ci-format:`
`17`	`17`	`needs: getVersion`
`18`	`18`	`if: github.event_name != 'schedule' \|\| github.repository_owner == 'aws'`
`@@ -22,7 +22,7 @@ jobs:`
`22`	`22`	`daily-ci-codegen:`
`23`	`23`	`needs: getVersion`
`24`	`24`	`if: github.event_name != 'schedule' \|\| github.repository_owner == 'aws'`
`25`		`- uses: ./.github/workflows/library_codegen.yml`
	`25`	`+ uses: ./.github/workflows/ci_codegen.yml`
`26`	`26`	`with:`
`27`	`27`	`dafny: ${{needs.getVersion.outputs.version}}`
`28`	`28`	`daily-ci-verification:`
`@@ -31,15 +31,33 @@ jobs:`
`31`	`31`	`uses: ./.github/workflows/library_dafny_verification.yml`
`32`	`32`	`with:`
`33`	`33`	`dafny: ${{needs.getVerifyVersion.outputs.version}}`
`34`		`- daily-ci-java:`
	`34`	`+ daily-ci-test-vector-verification:`
	`35`	`+ needs: getVerifyVersion`
	`36`	`+ uses: ./.github/workflows/test_vector_verification.yml`
	`37`	`+ with:`
	`38`	`+ dafny: ${{needs.getVerifyVersion.outputs.version}}`
	`39`	`+ daily-ci-java-test-vectors:`
`35`	`40`	`needs: getVersion`
`36`		`- if: github.event_name != 'schedule' \|\| github.repository_owner == 'aws'`
`37`		`- uses: ./.github/workflows/library_java_tests.yml`
	`41`	`+ uses: ./.github/workflows/ci_test_vector_java.yml`
	`42`	`+ with:`
	`43`	`+ dafny: ${{needs.getVersion.outputs.version}}`
	`44`	`+ daily-ci-java-examples:`
	`45`	`+ needs: getVersion`
	`46`	`+ uses: ./.github/workflows/ci_examples_java.yml`
`38`	`47`	`with:`
`39`	`48`	`dafny: ${{needs.getVersion.outputs.version}}`
`40`	`49`	`daily-ci-net:`
`41`	`50`	`needs: getVersion`
`42`		`- if: github.event_name != 'schedule' \|\| github.repository_owner == 'aws'`
`43`		`- uses: ./.github/workflows/library_net_tests.yml`
	`51`	`+ uses: ./.github/workflows/ci_test_net.yml`
	`52`	`+ with:`
	`53`	`+ dafny: ${{needs.getVersion.outputs.version}}`
	`54`	`+ daily-ci-net-test-vectors:`
	`55`	`+ needs: getVersion`
	`56`	`+ uses: ./.github/workflows/ci_test_vector_net.yml`
	`57`	`+ with:`
	`58`	`+ dafny: ${{needs.getVersion.outputs.version}}`
	`59`	`+ daily-ci-net-examples:`
	`60`	`+ needs: getVersion`
	`61`	`+ uses: ./.github/workflows/ci_examples_net.yml`
`44`	`62`	`with:`
`45`	`63`	`dafny: ${{needs.getVersion.outputs.version}}`

0 commit comments

Comments

(0)

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Commit a1427e0

File tree

1 file changed

1 file changed

`‎.github/workflows/daily_ci.yml‎`

0 commit comments