All workflows

Workflow runs

• Mark stale issues and PRs

  completed successfully:
  Mark stale issues and PRs#159:Scheduled
  main

  Apr 20, 202615s
  More actions for workflow run 159

• Update Dockerfile Dependencies

  completed successfully:
  Update Dockerfile Dependencies#389:Scheduled
  main

  Apr 19, 20261m 24s
  More actions for workflow run 389

• Mark stale issues and PRs

  completed successfully:
  Mark stale issues and PRs#158:Scheduled
  main

  Apr 19, 202614s
  More actions for workflow run 158

• PR #1004

  completed successfully:
  CodeQL#355:bygithub-actions[bot]Bot
  refs/pull/1004/head

  Apr 18, 20261m 11s

• Update Dockerfile Dependencies

  completed successfully:
  Update Dockerfile Dependencies#388:Scheduled
  main

  Apr 18, 20261m 19s
  More actions for workflow run 388

• Scheduled

  completed successfully:
  CodeQL#354:bygithub-advanced-security[bot]AI
  main

  Apr 18, 20261m 12s

• Mark stale issues and PRs

  completed successfully:
  Mark stale issues and PRs#157:Scheduled
  main

  Apr 18, 202614s
  More actions for workflow run 157

• fix: 0.7.5 (#1026)

  completed successfully:
  Tag Docker image#376:Commit8e10bf3pushedbyrefcell
  v0.15.4

  Apr 17, 202626m 58s
  More actions for workflow run 376

• fix: 0.7.5 (#1026)

  completed successfully:
  Tag Docker image#375:Commit8e10bf3pushedbyrefcell
  main

  Apr 17, 202625m 21s
  More actions for workflow run 375

• Push on main

  completed successfully:
  CodeQL#353:byrefcell
  main

  Apr 17, 20261m 11s

• feat: Bump base/base to 0.7.5

  completed successfully:
  Pull Request#878:Pull request#1026openedbyrefcell
  rf/0.7.5

  Apr 17, 202624m 9s
  More actions for workflow run 878

• PR #1026

  completed successfully:
  CodeQL#352:byrefcell
  refs/pull/1026/head

  Apr 17, 20261m 12s

• PR #1004

  completed successfully:
  CodeQL#351:bygithub-actions[bot]Bot
  refs/pull/1004/head

  Apr 17, 20261m 10s

• Update Dockerfile Dependencies

  completed successfully:
  Update Dockerfile Dependencies#387:Scheduled
  main

  Apr 17, 20261m 26s
  More actions for workflow run 387

• Mark stale issues and PRs

  completed successfully:
  Mark stale issues and PRs#156:Scheduled
  main

  Apr 17, 202614s
  More actions for workflow run 156

• bump: base/base to 0.7.4 (#1025)

  completed successfully:
  Tag Docker image#374:Commit726a616pushedbyrefcell
  v0.15.3

  Apr 16, 202612m 0s
  More actions for workflow run 374

• bump: base/base to 0.7.4 (#1025)

  failed:
  Tag Docker image#373:Commit726a616pushedbyrefcell
  main

  Apr 16, 202614m 28s
  More actions for workflow run 373

• Push on main

  completed successfully:
  CodeQL#350:byrefcell
  main

  Apr 16, 20261m 16s

• bump: base/base to 0.7.4

  completed successfully:
  Pull Request#877:Pull request#1025synchronizebyrefcell
  rf/0.7.4

  Apr 16, 20264m 11s
  More actions for workflow run 877

• PR #1025

  completed successfully:
  CodeQL#349:byrefcell
  refs/pull/1025/head

  Apr 16, 20261m 14s

• bump: base/base to 0.7.4

  failed:
  Pull Request#876:Pull request#1025openedbyrefcell
  rf/0.7.4

  Apr 16, 202611m 26s
  More actions for workflow run 876

• PR #1025

  completed successfully:
  CodeQL#348:byrefcell
  refs/pull/1025/head

  Apr 16, 20261m 13s

• Update Dockerfile Dependencies

  completed successfully:
  Update Dockerfile Dependencies#386:Scheduled
  main

  Apr 16, 20261m 46s
  More actions for workflow run 386

• Mark stale issues and PRs

  completed successfully:
  Mark stale issues and PRs#155:Scheduled
  main

  Apr 16, 202615s
  More actions for workflow run 155

• fix: default to proofs subdir for historical proofs storage

  completed successfully:
  Pull Request#875:Pull request#1023synchronizebymeyer9
  meyer9/default-to-proofs-subdir

  Apr 15, 202625m 45s
  More actions for workflow run 875