All workflows

Workflow runs

• systems: +AddTypes---1.4.4 +Shot---0.1.5 +Taelja---0.2.0.1 +Vampire---5.1.1 +Vampire-FMo---5.1.1 +Vampire-LIT---5.1.1 +Vampire-SAT---5.1.1 +Vampire-SATLIT---5.1.1 +cvc5---1.4.2 +cvc5-SAT---1.4.2 +cvc5-STC---1.4.2 −Taelja---0.2.0.0 −Vampire---5.0.1 −Vampire-FMo---5.0.1 −Vampire-LIT---5.0.1 −Vampire-SAT---5.0.1 −Vampire-SATLIT---5.0.1 −cvc5---1.3.4 −cvc5-SAT---1.3.4 −cvc5-STC---1.3.4, 1 field changed

  requires action with the application:
  ci#19:Pull request#9synchronizebygithub-actions[bot]Bot
  systems/refresh

  Oct 29, 2026Action required
  More actions for workflow run 19

• systems

  completed successfully:
  systems#15:Scheduled
  main

  Oct 29, 202629s
  More actions for workflow run 15

• systems: +AddTypes---1.4.4 +Shot---0.1.5 +Taelja---0.2.0.1 +Vampire---5.1.1 +Vampire-FMo---5.1.1 +Vampire-LIT---5.1.1 +Vampire-SAT---5.1.1 +Vampire-SATLIT---5.1.1 +cvc5---1.4.2 +cvc5-SAT---1.4.2 +cvc5-STC---1.4.2 −Taelja---0.2.0.0 −Vampire---5.0.1 −Vampire-FMo---5.0.1 −Vampire-LIT---5.0.1 −Vampire-SAT---5.0.1 −Vampire-SATLIT---5.0.1 −cvc5---1.3.4 −cvc5-SAT---1.3.4 −cvc5-STC---1.3.4, 1 field changed

  requires action with the application:
  ci#18:Pull request#9synchronizebygithub-actions[bot]Bot
  systems/refresh

  Oct 28, 2026Action required
  More actions for workflow run 18

• systems

  completed successfully:
  systems#14:Scheduled
  main

  Oct 28, 202630s
  More actions for workflow run 14

• Bump tptp from 0.2.1 to 0.3.0

  failed:
  ci#17:Pull request#10openedbydependabot[bot]Bot
  dependabot/hex/tptp-0.3.0

  Oct 27, 20263m 17s
  More actions for workflow run 17

• github_actions in /. - Update #1658103989

  completed successfully:
  Dependabot Updates#4:bydependabot[bot]Bot
  main

  Oct 27, 20261m 52s

• hex in /. - Update #1658103996

  completed successfully:
  Dependabot Updates#3:bydependabot[bot]Bot
  main

  Oct 27, 202656s

• hex in /. - Update #1658103948

  completed successfully:
  Dependabot Updates#2:bydependabot[bot]Bot
  main

  Oct 27, 202656s

• github_actions in /. - Update #1658103937

  completed successfully:
  Dependabot Updates#1:bydependabot[bot]Bot
  main

  Oct 27, 20261m 48s

• repository: badges, citations, community files, workflows

  completed successfully:
  scorecard#1:Commite8d8dcfpushedbyjcschuster
  main

  Oct 27, 202634s
  More actions for workflow run 1

• repository: badges, citations, community files, workflows

  completed successfully:
  ci#16:Commite8d8dcfpushedbyjcschuster
  main

  Oct 27, 20263m 9s
  More actions for workflow run 16

• systems: +AddTypes---1.4.4 +Shot---0.1.5 +Taelja---0.2.0.1 +Vampire---5.1.1 +Vampire-FMo---5.1.1 +Vampire-LIT---5.1.1 +Vampire-SAT---5.1.1 +Vampire-SATLIT---5.1.1 +cvc5---1.4.2 +cvc5-SAT---1.4.2 +cvc5-STC---1.4.2 −Taelja---0.2.0.0 −Vampire---5.0.1 −Vampire-FMo---5.0.1 −Vampire-LIT---5.0.1 −Vampire-SAT---5.0.1 −Vampire-SATLIT---5.0.1 −cvc5---1.3.4 −cvc5-SAT---1.3.4 −cvc5-STC---1.3.4, 1 field changed

  requires action with the application:
  ci#15:Pull request#9synchronizebygithub-actions[bot]Bot
  systems/refresh

  Oct 27, 2026Action required
  More actions for workflow run 15

• systems

  completed successfully:
  systems#13:Scheduled
  main

  Oct 27, 202628s
  More actions for workflow run 13

• live

  completed successfully:
  live#2:Scheduled
  main

  Oct 26, 20263m 34s
  More actions for workflow run 2

• systems: +AddTypes---1.4.4 +Shot---0.1.5 +Taelja---0.2.0.1 +Vampire---5.1.1 +Vampire-FMo---5.1.1 +Vampire-LIT---5.1.1 +Vampire-SAT---5.1.1 +Vampire-SATLIT---5.1.1 +cvc5---1.4.2 +cvc5-SAT---1.4.2 +cvc5-STC---1.4.2 −Taelja---0.2.0.0 −Vampire---5.0.1 −Vampire-FMo---5.0.1 −Vampire-LIT---5.0.1 −Vampire-SAT---5.0.1 −Vampire-SATLIT---5.0.1 −cvc5---1.3.4 −cvc5-SAT---1.3.4 −cvc5-STC---1.3.4, 1 field changed

  requires action with the application:
  ci#14:Pull request#9synchronizebygithub-actions[bot]Bot
  systems/refresh

  Oct 26, 2026Action required
  More actions for workflow run 14

• systems

  completed successfully:
  systems#12:Scheduled
  main

  Oct 26, 202631s
  More actions for workflow run 12

• systems: +AddTypes---1.4.4 +Shot---0.1.5 +Taelja---0.2.0.1 +Vampire---5.1.1 +Vampire-FMo---5.1.1 +Vampire-LIT---5.1.1 +Vampire-SAT---5.1.1 +Vampire-SATLIT---5.1.1 +cvc5---1.4.2 +cvc5-SAT---1.4.2 +cvc5-STC---1.4.2 −Taelja---0.2.0.0 −Vampire---5.0.1 −Vampire-FMo---5.0.1 −Vampire-LIT---5.0.1 −Vampire-SAT---5.0.1 −Vampire-SATLIT---5.0.1 −cvc5---1.3.4 −cvc5-SAT---1.3.4 −cvc5-STC---1.3.4, 1 field changed

  requires action with the application:
  ci#13:Pull request#9synchronizebygithub-actions[bot]Bot
  systems/refresh

  Oct 25, 2026Action required
  More actions for workflow run 13

• systems

  completed successfully:
  systems#11:Scheduled
  main

  Oct 25, 202630s
  More actions for workflow run 11

• systems: +AddTypes---1.4.4 +Shot---0.1.5 +Taelja---0.2.0.1 +Vampire---5.1.1 +Vampire-FMo---5.1.1 +Vampire-LIT---5.1.1 +Vampire-SAT---5.1.1 +Vampire-SATLIT---5.1.1 +cvc5---1.4.2 +cvc5-SAT---1.4.2 +cvc5-STC---1.4.2 −Taelja---0.2.0.0 −Vampire---5.0.1 −Vampire-FMo---5.0.1 −Vampire-LIT---5.0.1 −Vampire-SAT---5.0.1 −Vampire-SATLIT---5.0.1 −cvc5---1.3.4 −cvc5-SAT---1.3.4 −cvc5-STC---1.3.4, 1 field changed

  requires action with the application:
  ci#12:Pull request#9synchronizebygithub-actions[bot]Bot
  systems/refresh

  Oct 24, 2026Action required
  More actions for workflow run 12

• systems

  completed successfully:
  systems#10:Scheduled
  main

  Oct 24, 202630s
  More actions for workflow run 10

• systems: +AddTypes---1.4.4 +Shot---0.1.5 +Taelja---0.2.0.1 +Vampire---5.1.1 +Vampire-FMo---5.1.1 +Vampire-LIT---5.1.1 +Vampire-SAT---5.1.1 +Vampire-SATLIT---5.1.1 +cvc5---1.4.2 +cvc5-SAT---1.4.2 +cvc5-STC---1.4.2 −Taelja---0.2.0.0 −Vampire---5.0.1 −Vampire-FMo---5.0.1 −Vampire-LIT---5.0.1 −Vampire-SAT---5.0.1 −Vampire-SATLIT---5.0.1 −cvc5---1.3.4 −cvc5-SAT---1.3.4 −cvc5-STC---1.3.4, 1 field changed

  requires action with the application:
  ci#11:Pull request#9synchronizebygithub-actions[bot]Bot
  systems/refresh

  Oct 23, 2026Action required
  More actions for workflow run 11

• systems

  completed successfully:
  systems#9:Scheduled
  main

  Oct 23, 202636s
  More actions for workflow run 9

• systems: +AddTypes---1.4.4 +Shot---0.1.5 +Taelja---0.2.0.1 +Vampire---5.1.1 +Vampire-FMo---5.1.1 +Vampire-LIT---5.1.1 +Vampire-SAT---5.1.1 +Vampire-SATLIT---5.1.1 +cvc5---1.4.2 +cvc5-SAT---1.4.2 +cvc5-STC---1.4.2 −Taelja---0.2.0.0 −Vampire---5.0.1 −Vampire-FMo---5.0.1 −Vampire-LIT---5.0.1 −Vampire-SAT---5.0.1 −Vampire-SATLIT---5.0.1 −cvc5---1.3.4 −cvc5-SAT---1.3.4 −cvc5-STC---1.3.4, 1 field changed

  requires action with the application:
  ci#10:Pull request#9synchronizebygithub-actions[bot]Bot
  systems/refresh

  Oct 22, 2026Action required
  More actions for workflow run 10

• systems

  completed successfully:
  systems#8:Scheduled
  main

  Oct 22, 202632s
  More actions for workflow run 8

• systems: +AddTypes---1.4.4 +Shot---0.1.5 +Taelja---0.2.0.1 +Vampire---5.1.1 +Vampire-FMo---5.1.1 +Vampire-LIT---5.1.1 +Vampire-SAT---5.1.1 +Vampire-SATLIT---5.1.1 +cvc5---1.4.2 +cvc5-SAT---1.4.2 +cvc5-STC---1.4.2 −Taelja---0.2.0.0 −Vampire---5.0.1 −Vampire-FMo---5.0.1 −Vampire-LIT---5.0.1 −Vampire-SAT---5.0.1 −Vampire-SATLIT---5.0.1 −cvc5---1.3.4 −cvc5-SAT---1.3.4 −cvc5-STC---1.3.4, 1 field changed

  requires action with the application:
  ci#9:Pull request#9synchronizebygithub-actions[bot]Bot
  systems/refresh

  Oct 21, 2026Action required
  More actions for workflow run 9