Report tests results · Workflow runs · VSharp-team/VSharp · GitHub

Actions

All workflows
Workflows
- Benchmark Benchmark
- Build VSharp Build VSharp
- Integration tests Integration tests
- Report tests results Report tests results
- Run tests and publish docker image Run tests and publish docker image
- Run VSharp Run VSharp
Management
- Caches
- Deployments

Report tests results

Actions

Loading...
Loading

push_test_results.yml

2 workflow runs

2 workflow runs

Report tests results Report tests results #502: completed by gsvgit

11s

11s

Report tests results Report tests results #501: completed by gsvgit

13s

13s