Skip to content
CI

Update .github/workflows/coverage_check.yml #12

Sign in to view logs

Update .github/workflows/coverage_check.yml

Update .github/workflows/coverage_check.yml #12

Triggered via push May 20, 2024 21:22
@simon-somethingsimon-something
pushed e764354
feat/invariants
Status Cancelled
Total duration 11s
Artifacts –

tests.yml

on: push
Run Unit Tests
0s
Run Unit Tests
Run Integration Tests
0s
Run Integration Tests
Echidna Test
0s
Echidna Test
Run symbolic execution tests
0s
Run symbolic execution tests
Lint Commit Messages
0s
Lint Commit Messages
Fit to window
Zoom out
Zoom in

Annotations

5 errors
Run Unit Tests
Canceling since a higher priority waiting request for 'CI-refs/heads/feat/invariants' exists
Echidna Test
Canceling since a higher priority waiting request for 'CI-refs/heads/feat/invariants' exists
Run symbolic execution tests
Canceling since a higher priority waiting request for 'CI-refs/heads/feat/invariants' exists
Lint Commit Messages
Canceling since a higher priority waiting request for 'CI-refs/heads/feat/invariants' exists
Run Integration Tests
Canceling since a higher priority waiting request for 'CI-refs/heads/feat/invariants' exists