All workflows

Workflow runs

• Mirror issues

  completed successfully:
  Mirror issues#1995:Scheduled
  main

  Nov 3, 202610s
  More actions for workflow run 1995

• CBMC: Add CaDiCaL as a second solver for all remaining proofs

  skipped:
  Legacy compilers#1324:Pull request#1521labeledbymkannwischer
  cbmc-no-forall-skolemization

  Nov 3, 20269s
  More actions for workflow run 1324

• CBMC: Add CaDiCaL as a second solver for all remaining proofs

  completed successfully:
  SLOTHY re-optimization tests#110:Pull request#1521labeledbymkannwischer
  cbmc-no-forall-skolemization

  Nov 3, 20267s
  More actions for workflow run 110

• CBMC: Add CaDiCaL as a second solver for all remaining proofs

  skipped:
  Bench#1292:Pull request#1521labeledbymkannwischer
  cbmc-no-forall-skolemization

  Nov 3, 20268s
  More actions for workflow run 1292

• Mirror issues

  completed successfully:
  Mirror issues#1994:Scheduled
  main

  Nov 3, 202611s
  More actions for workflow run 1994

• Mirror issues

  completed successfully:
  Mirror issues#1993:Scheduled
  main

  Nov 3, 202610s
  More actions for workflow run 1993

• CBMC: Work around quantifier skolemization to add CaDiCaL for 7 proofs

  completed successfully:
  CI#5203:Pull request#1523openedbymkannwischer
  cbmc-no-skolem-workaround

  Nov 3, 20262h 17m 22s
  More actions for workflow run 5203

• CBMC: Work around quantifier skolemization to add CaDiCaL for 7 proofs

  skipped:
  Legacy compilers#1323:Pull request#1523openedbymkannwischer
  cbmc-no-skolem-workaround

  Nov 3, 20268s
  More actions for workflow run 1323

• PR #1523

  completed successfully:
  CodeQL#4780:bymkannwischer
  refs/pull/1523/head

  Nov 3, 20261m 12s

• Mirror issues

  completed successfully:
  Mirror issues#1992:Scheduled
  main

  Nov 3, 202611s
  More actions for workflow run 1992

• CBMC: Add CaDiCaL as a second solver for all remaining proofs

  completed successfully:
  CI#5202:Pull request#1521synchronizebymkannwischer
  cbmc-no-forall-skolemization

  Nov 3, 20263h 27m 33s
  More actions for workflow run 5202

• CBMC: Add CaDiCaL as a second solver for all remaining proofs

  skipped:
  Legacy compilers#1322:Pull request#1521synchronizebymkannwischer
  cbmc-no-forall-skolemization

  Nov 3, 20261s
  More actions for workflow run 1322

• PR #1521

  completed successfully:
  CodeQL#4779:bymkannwischer
  refs/pull/1521/head

  Nov 3, 20261m 12s

• Mirror issues

  completed successfully:
  Mirror issues#1991:Scheduled
  main

  Nov 3, 202610s
  More actions for workflow run 1991

• Mirror issues

  completed successfully:
  Mirror issues#1990:Scheduled
  main

  Nov 3, 202611s
  More actions for workflow run 1990

• pages build and deployment

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

  Nov 3, 202650s

• pages build and deployment

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

  Nov 3, 202643s

• pages build and deployment

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

  Nov 3, 202643s

• pages build and deployment

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

  Nov 3, 20261m 0s

• Mirror issues

  completed successfully:
  Mirror issues#1989:Scheduled
  main

  Nov 3, 202610s
  More actions for workflow run 1989

• pages build and deployment

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

  Nov 3, 202647s

• pages build and deployment

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

  Nov 3, 20261m 33s

• pages build and deployment

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

  Nov 3, 202645s

• pages build and deployment

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

  Nov 3, 20261m 22s

• pages build and deployment

  cancelled:
  pages-build-deployment#15003:bygithub-pages[bot]Bot
  gh-pages

  Nov 3, 20261m 7s