All workflows

Workflow runs

• CI

  cancelled:
  CI#2301:Scheduled
  main

  Nov 6, 20268m 43s
  More actions for workflow run 2301

• Runner Liveness

  completed successfully:
  Runner Liveness#1789:Scheduled
  main

  Nov 6, 202615s
  More actions for workflow run 1789

• Runner Liveness

  completed successfully:
  Runner Liveness#1788:Scheduled
  main

  Nov 6, 202620s
  More actions for workflow run 1788

• Runner Liveness

  completed successfully:
  Runner Liveness#1787:Scheduled
  main

  Nov 5, 202616s
  More actions for workflow run 1787

• Runner Liveness

  completed successfully:
  Runner Liveness#1786:Scheduled
  main

  Nov 5, 20261m 29s
  More actions for workflow run 1786

• feat(coverage): show clause discharge next to the marker count in cov…

  completed successfully:
  Benchmarks#2121:Commit56d12bfpushedbygithub-merge-queue[bot]Bot
  main

  Nov 5, 20261h 8m 38s
  More actions for workflow run 2121

• feat(coverage): show clause discharge next to the marker count in cov…

  completed successfully:
  fuzz#820:Commit56d12bfpushedbygithub-merge-queue[bot]Bot
  main

  Nov 5, 20261h 10m 18s
  More actions for workflow run 820

• feat(coverage): show clause discharge next to the marker count in cov…

  completed successfully:
  CI#2300:Commit56d12bfpushedbygithub-merge-queue[bot]Bot
  main

  Nov 5, 20261h 27m 58s
  More actions for workflow run 2300

• fuzz

  completed successfully:
  fuzz#819:Scheduled
  main

  Nov 5, 202630m 40s
  More actions for workflow run 819

• CI

  completed successfully:
  CI#2299:Merge group checks requested
  Nov 5, 202654m 37s
  More actions for workflow run 2299

• feat(coverage): show clause discharge next to the marker count in coverage --tests and trace (#1168)

  completed successfully:
  Rivet Delta#789:Pull request#1171openedbyavrabe
  feat/issue-1168-coverage-discharge

  Nov 5, 20261h 22m 52s
  More actions for workflow run 789

• feat(coverage): show clause discharge next to the marker count in coverage --tests and trace (#1168)

  completed successfully:
  Fix hotspot#47:Pull request#1171openedbyavrabe
  feat/issue-1168-coverage-discharge

  Nov 5, 202618s
  More actions for workflow run 47

• feat(coverage): show clause discharge next to the marker count in coverage --tests and trace (#1168)

  completed successfully:
  Benchmarks#2120:Pull request#1171openedbyavrabe
  feat/issue-1168-coverage-discharge

  Nov 5, 20261h 48m 11s
  More actions for workflow run 2120

• feat(coverage): show clause discharge next to the marker count in coverage --tests and trace (#1168)

  completed successfully:
  CI#2298:Pull request#1171openedbyavrabe
  feat/issue-1168-coverage-discharge

  Nov 5, 20261h 51m 24s
  More actions for workflow run 2298

• CI

  cancelled:
  CI#2297:Scheduled
  main

  Nov 5, 20268m 56s
  More actions for workflow run 2297

• feat(verify): clause discharge — rivet verify records which numbered …

  cancelled:
  fuzz#818:Commitb7cf00fpushedbygithub-merge-queue[bot]Bot
  main

  Nov 5, 20261h 32m 8s
  More actions for workflow run 818

• feat(verify): clause discharge — rivet verify records which numbered …

  cancelled:
  CI#2296:Commitb7cf00fpushedbygithub-merge-queue[bot]Bot
  main

  Nov 5, 20263h 31m 27s
  More actions for workflow run 2296

• feat(verify): clause discharge — rivet verify records which numbered …

  completed successfully:
  Benchmarks#2119:Commitb7cf00fpushedbygithub-merge-queue[bot]Bot
  main

  Nov 5, 20262h 45m 51s
  More actions for workflow run 2119

• Runner Liveness

  failed:
  Runner Liveness#1785:Scheduled
  main

  Nov 5, 202623s
  More actions for workflow run 1785

• pages build and deployment

  completed successfully:
  pages-build-deployment#603:bygithub-pages[bot]Bot
  gh-pages

  Nov 5, 20262h 47m 45s

• CI

  completed successfully:
  CI#2295:Merge group checks requested
  Nov 5, 20261h 17m 44s
  More actions for workflow run 2295

• feat(verify): rivet verify records which clauses the evidence discharges (#838, option 3)

  completed successfully:
  Fix hotspot#46:Pull request#1164synchronizebyavrabe
  feat/838-clause-discharge

  Nov 5, 20261m 55s
  More actions for workflow run 46

• feat(verify): rivet verify records which clauses the evidence discharges (#838, option 3)

  cancelled:
  CI#2294:Pull request#1164synchronizebyavrabe
  feat/838-clause-discharge

  Nov 5, 20262h 56m 15s
  More actions for workflow run 2294

• feat(verify): rivet verify records which clauses the evidence discharges (#838, option 3)

  completed successfully:
  Benchmarks#2118:Pull request#1164synchronizebyavrabe
  feat/838-clause-discharge

  Nov 5, 20263h 2m 50s
  More actions for workflow run 2118

• feat(verify): rivet verify records which clauses the evidence discharges (#838, option 3)

  completed successfully:
  Rivet Delta#788:Pull request#1164synchronizebyavrabe
  feat/838-clause-discharge

  Nov 5, 202657m 53s
  More actions for workflow run 788