Skip to content

Actions: sws-lab/sv-comp-witness-vscode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update readme (#16) build #21: Commit 12d3c36 pushed by Yleroimar
1m 30s industry-grade
industry-grade
1m 30s
Update readme (#16) build #20: Commit 12d3c36 pushed by Yleroimar
1m 51s industry-grade-try
industry-grade-try
1m 51s
Update readme (#16) build #19: Commit 8631261 pushed by karoliineh
1m 10s industry-grade
industry-grade
1m 10s
Update readme build #18: Pull request #16 synchronize by karoliineh
1m 21s readme-update
readme-update
1m 21s
VS Code -> vscode build #17: Commit 7b774c5 pushed by karoliineh
1m 6s readme-update
readme-update
1m 6s
Update readme build #16: Pull request #16 synchronize by karoliineh
1m 15s readme-update
readme-update
1m 15s
Fix another typo build #15: Commit b16c668 pushed by karoliineh
1m 16s readme-update
readme-update
1m 16s
Update readme build #14: Pull request #16 synchronize by karoliineh
1m 14s readme-update
readme-update
1m 14s
Fix typo build #13: Commit 2b6891a pushed by karoliineh
1m 10s readme-update
readme-update
1m 10s
Update readme build #12: Pull request #16 synchronize by karoliineh
1m 11s readme-update
readme-update
1m 11s
Rename title build #11: Commit 33f1040 pushed by karoliineh
1m 17s readme-update
readme-update
1m 17s
Update readme build #10: Pull request #16 synchronize by karoliineh
1m 21s readme-update
readme-update
1m 21s
Restructure ReadMe and complete the "quick start" steps build #9: Commit b893166 pushed by karoliineh
1m 13s readme-update
readme-update
1m 13s
Update readme build #8: Pull request #16 opened by Yleroimar
1m 34s readme-update
readme-update
1m 34s
Remove CPAchecker setup guide build #7: Commit 4c21d1d pushed by Yleroimar
1m 16s readme-update
readme-update
1m 16s
Remove deleted tests from mvn build exclusion build #6: Commit 7fe73c0 pushed by karoliineh
1m 14s industry-grade
industry-grade
1m 14s
Merge pull request #15 from sws-lab/ci build #5: Commit 4bd2596 pushed by karoliineh
1m 30s main
main
1m 30s
Set up CI for build build #4: Pull request #15 opened by karoliineh
1m 24s ci
ci
1m 24s
Update node 18->20 build #3: Commit e33ff21 pushed by karoliineh
1m 35s ci
ci
1m 35s
Exclude tests that need to run cpachecker build #2: Commit 105c9bb pushed by karoliineh
1m 1s ci
ci
1m 1s
Add CI for build build #1: Commit 4fdf08f pushed by karoliineh
42s ci
ci
42s