Add sv-comp CI run #541

Jezurko · 2024-04-08T12:23:24Z

No description provided.

.github/workflows/prerelease.yml

Jezurko added infrastructure sv-comp Effort on translating SV-Comp benchmarks labels Apr 8, 2024

Jezurko self-assigned this Apr 8, 2024

Jezurko requested a review from xlauko as a code owner April 8, 2024 12:23

Jezurko force-pushed the svcomp-ci branch 5 times, most recently from 1789f89 to 87dd1ae Compare April 8, 2024 13:34

Jezurko marked this pull request as draft April 12, 2024 09:55

Jezurko marked this pull request as ready for review April 15, 2024 16:11

Jezurko added 7 commits April 22, 2024 11:18

gh: Add sv-comp CI run.

e35852d

gh: Checkout sv-comp patch to special branch.

9c41582

gh: Merge benchmarking workflows into prerelease workflow.

e216eb4

gh: Add sv-comp evaluation.

52d8638

www: Add SV-Comp benchmark results.

2379acb

gh: Pull from the CI branch in sv-comp evaluation job.

fabaf11

gh: Fix prerelease trigger.

43a2485

Jezurko force-pushed the svcomp-ci branch from 42b7bb7 to c00a768 Compare April 22, 2024 09:21

gh: Simplify one-line arguments in prerelease action.

6ee14b3

Jezurko force-pushed the svcomp-ci branch from c00a768 to 6ee14b3 Compare April 22, 2024 09:27

xlauko approved these changes Apr 22, 2024

View reviewed changes

.github/workflows/prerelease.yml Show resolved Hide resolved

.github/workflows/prerelease.yml Outdated Show resolved Hide resolved

gh: Remove redundant git install for sv-comp test suite.

c39b836

Jezurko merged commit 29451be into master Apr 22, 2024
8 checks passed

Provide feedback