Skip to content
CI

Update .github/workflows/coverage_check.yml #11

Sign in to view logs

Update .github/workflows/coverage_check.yml

Update .github/workflows/coverage_check.yml #11

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

tests.yml

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

Annotations

10 errors
Lint Commit Messages
Canceling since a higher priority waiting request for 'CI-refs/heads/feat/invariants' exists
Lint Commit Messages
A task was canceled.
Run Unit Tests
Canceling since a higher priority waiting request for 'CI-refs/heads/feat/invariants' exists
Run Unit Tests
The operation was canceled.
Run Integration Tests
Canceling since a higher priority waiting request for 'CI-refs/heads/feat/invariants' exists
Run Integration Tests
A task was canceled.
Run symbolic execution tests
Canceling since a higher priority waiting request for 'CI-refs/heads/feat/invariants' exists
Run symbolic execution tests
The operation was canceled.
Echidna Test
Canceling since a higher priority waiting request for 'CI-refs/heads/feat/invariants' exists
Echidna Test
The operation was canceled.