Skip to content

Actions: dusrdev/Verifast

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Version 1.0 Unit Tests #5: Pull request #1 synchronize by dusrdev
53s pre-release
pre-release
53s
Version 1.0 Unit Tests #4: Pull request #1 opened by dusrdev
54s pre-release
pre-release
54s
Version 1.0 Benchmarks #3: Pull request #1 opened by dusrdev
1m 32s pre-release
pre-release
1m 32s
Unit Tests Unit Tests #3: Manually run by dusrdev
1m 6s pre-release
pre-release
1m 6s
Benchmarks Benchmarks #2: Manually run by dusrdev
5m 4s stable
stable
5m 4s
Unit Tests Unit Tests #1: Manually run by dusrdev
1m 53s stable
stable
1m 53s