test: add support for legacy test vectors #394

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

	on:
	pull_request:

	jobs:
	pr-ci-codegen:
	uses: ./.github/workflows/library_codegen.yml
	with:
	dafny: '4.8.1'
	pr-ci-verification:
	uses: ./.github/workflows/library_dafny_verification.yml
	with:
	dafny: '4.8.1'
	# pr-ci-java:
	# uses: ./.github/workflows/library_java_tests.yml
	# with:
	# dafny: '4.2.0'
	pr-ci-net:
	uses: ./.github/workflows/library_net_tests.yml
	with:
	dafny: '4.8.1'
	pr-test-vectors:
	uses: ./.github/workflows/library_interop_tests.yml
	with:
	dafny: '4.8.1'
	pr-dafny-test-vectors:
	uses: ./.github/workflows/library_interop_test_vectors.yml
	with:
	dafny: '4.8.1'
	pr-dafny-legacy-test-vectors:
	uses: ./.github/workflows/library_legacy_interop_test_vectors.yml
	with:
	dafny: '4.8.1'

Provide feedback