feat: Storm cache supports millisecond resolution #3235

Workflow file for this run

	# This workflow runs for every pull request
	name: PR CI

	on:
	pull_request:

	jobs:
	getVersion:
	uses: ./.github/workflows/dafny_version.yaml
	getVerifyVersion:
	uses: ./.github/workflows/dafny_verify_version.yaml
	pr-ci-format:
	needs: getVersion
	uses: ./.github/workflows/library_format.yml
	with:
	dafny: ${{needs.getVersion.outputs.version}}
	pr-ci-codegen:
	needs: getVersion
	uses: ./.github/workflows/library_codegen.yml
	with:
	dafny: ${{needs.getVersion.outputs.version}}
	pr-ci-verification:
	needs: getVerifyVersion
	uses: ./.github/workflows/library_dafny_verification.yml
	with:
	dafny: ${{needs.getVerifyVersion.outputs.version}}
	pr-ci-java:
	needs: getVersion
	uses: ./.github/workflows/library_java_tests.yml
	with:
	dafny: ${{needs.getVersion.outputs.version}}
	pr-ci-net:
	needs: getVersion
	uses: ./.github/workflows/library_net_tests.yml
	with:
	dafny: ${{needs.getVersion.outputs.version}}
	pr-ci-rust:
	needs: getVersion
	uses: ./.github/workflows/library_rust_tests.yml
	with:
	dafny: ${{needs.getVersion.outputs.version}}
	pr-ci-python:
	needs: getVersion
	uses: ./.github/workflows/library_python_tests.yml
	with:
	dafny: ${{needs.getVersion.outputs.version}}
	pr-interop-test:
	needs: getVersion
	uses: ./.github/workflows/library_interop_tests.yml
	with:
	dafny: ${{needs.getVersion.outputs.version}}
	pr-ci-all-required:
	if: always()
	needs:
	- getVersion
	- getVerifyVersion
	- pr-ci-format
	- pr-ci-codegen
	- pr-ci-verification
	- pr-ci-java
	- pr-ci-net
	- pr-interop-test
	runs-on: ubuntu-latest
	steps:
	- name: Verify all required jobs passed
	uses: re-actors/alls-green@release/v1
	with:
	jobs: ${{ toJSON(needs) }}

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat: Storm cache supports millisecond resolution #3235

Workflow file

feat: Storm cache supports millisecond resolution #3235

Jobs

Run details

Workflow file for this run