All workflows

Workflow runs

• AUR

  completed successfully:
  AUR#4:Scheduled
  main

  Nov 6, 20267s
  More actions for workflow run 4

• AUR

  completed successfully:
  AUR#3:Scheduled
  main

  Nov 5, 20269s
  More actions for workflow run 3

• AUR

  completed successfully:
  AUR#2:Scheduled
  main

  Nov 4, 202612s
  More actions for workflow run 2

• AUR

  completed successfully:
  AUR#1:Manually runbyJbsco
  main

  Nov 3, 202659s
  More actions for workflow run 1

• Pull request #41: Publish AUR package nightly

  completed successfully:
  Release#10:Commitaab7b13pushedbyJbsco
  main

  Nov 3, 20261m 12s
  More actions for workflow run 10

• Pull request #41: Publish AUR package nightly

  completed successfully:
  SPARK Proofs#92:Commitaab7b13pushedbyJbsco
  main

  Nov 3, 202610m 38s
  More actions for workflow run 92

• Pull request #41: Publish AUR package nightly

  completed successfully:
  Style#92:Commitaab7b13pushedbyJbsco
  main

  Nov 3, 20261m 57s
  More actions for workflow run 92

• Pull request #41: Publish AUR package nightly

  completed successfully:
  Tests#92:Commitaab7b13pushedbyJbsco
  main

  Nov 3, 20264m 18s
  More actions for workflow run 92

• Publish AUR package nightly

  completed successfully:
  SPARK Proofs#91:Pull request#41synchronizebyJbsco
  feat/aur-release

  Nov 3, 20266m 7s
  More actions for workflow run 91

• Publish AUR package nightly

  completed successfully:
  Style#91:Pull request#41synchronizebyJbsco
  feat/aur-release

  Nov 3, 20261m 57s
  More actions for workflow run 91

• Publish AUR package nightly

  completed successfully:
  Tests#91:Pull request#41synchronizebyJbsco
  feat/aur-release

  Nov 3, 20265m 1s
  More actions for workflow run 91

• Publish AUR package nightly

  completed successfully:
  Tests#90:Pull request#41openedbyJbsco
  feat/aur-release

  Nov 3, 20265m 14s
  More actions for workflow run 90

• Publish AUR package nightly

  completed successfully:
  Style#90:Pull request#41openedbyJbsco
  feat/aur-release

  Nov 3, 20262m 12s
  More actions for workflow run 90

• Publish AUR package nightly

  cancelled:
  SPARK Proofs#90:Pull request#41openedbyJbsco
  feat/aur-release

  Nov 3, 202610m 22s
  More actions for workflow run 90

• Pull request #40: Rename programs after blkc prefix

  completed successfully:
  Release#9:Commit2de0745pushedbyJbsco
  main

  Nov 3, 20261m 4s
  More actions for workflow run 9

• Pull request #40: Rename programs after blkc prefix

  completed successfully:
  SPARK Proofs#89:Commit2de0745pushedbyJbsco
  main

  Nov 3, 202613m 33s
  More actions for workflow run 89

• Pull request #40: Rename programs after blkc prefix

  completed successfully:
  Style#89:Commit2de0745pushedbyJbsco
  main

  Nov 3, 20262m 17s
  More actions for workflow run 89

• Pull request #40: Rename programs after blkc prefix

  completed successfully:
  Tests#89:Commit2de0745pushedbyJbsco
  main

  Nov 3, 20265m 21s
  More actions for workflow run 89

• Rename programs after blkc prefix

  completed successfully:
  Tests#88:Pull request#40openedbyJbsco
  feat/program-names

  Nov 3, 20265m 17s
  More actions for workflow run 88

• Rename programs after blkc prefix

  completed successfully:
  SPARK Proofs#88:Pull request#40openedbyJbsco
  feat/program-names

  Nov 3, 202612m 36s
  More actions for workflow run 88

• Rename programs after blkc prefix

  completed successfully:
  Style#88:Pull request#40openedbyJbsco
  feat/program-names

  Nov 3, 20262m 31s
  More actions for workflow run 88

• Pull request #39: Seek every second at level 5

  completed successfully:
  Style#87:Commit9308724pushedbyJbsco
  main

  Nov 3, 20261m 50s
  More actions for workflow run 87

• Pull request #39: Seek every second at level 5

  completed successfully:
  SPARK Proofs#87:Commit9308724pushedbyJbsco
  main

  Nov 3, 20267m 7s
  More actions for workflow run 87

• Pull request #39: Seek every second at level 5

  skipped:
  Release#8:Commit9308724pushedbyJbsco
  main

  Nov 3, 20261s
  More actions for workflow run 8

• Pull request #39: Seek every second at level 5

  completed successfully:
  Tests#87:Commit9308724pushedbyJbsco
  main

  Nov 3, 20266m 27s
  More actions for workflow run 87