Docs: Added metrics table + paper citation #81

Summary
Jobs
- build
- test
Run details
- Usage
- Workflow file

Annotations

5 errors and 2 warnings

couldn't find remote ref refs/pull/34/merge

Git fetch failed with exit code: 128

Exit code 1 returned from process: file name '/home/runner/runners/2.309.0/bin/Runner.PluginHost', arguments 'action "GitHub.Runner.Plugins.Repository.v1_0.CheckoutTask, Runner.Plugins"'.

Git fetch failed with exit code 128, back off 3.62 seconds before retry.

Git fetch failed with exit code 128, back off 4.717 seconds before retry.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Docs: Added metrics table + paper citation #81

build

Docs: Added metrics table + paper citation #81

Jobs

Run details

Annotations

The logs for this run have expired and are no longer available.

Re-running jobs...