actionlint

Workflow runs for actionlint

• ci: bump the actions group across 1 directory with 5 updates (#912)

  completed successfully:
  actionlint#40:Commitac3cfdfpushedbygithub-merge-queue[bot]Bot
  main

  Nov 12, 202616s
  More actions for workflow run 40

• ci: bump the actions group across 1 directory with 5 updates

  completed successfully:
  actionlint#39:Pull request#912synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-fdb718c1da

  Nov 11, 202615s
  More actions for workflow run 39

• chore(ci): pin docs build to ubuntu-24.04 (#1191)

  completed successfully:
  actionlint#38:Commit76b7943pushedbygithub-merge-queue[bot]Bot
  main

  Nov 5, 202620s
  More actions for workflow run 38

• ci: bump the actions group across 1 directory with 5 updates

  completed successfully:
  actionlint#37:Pull request#912synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-fdb718c1da

  Nov 4, 202615s
  More actions for workflow run 37

• chore(ci): pin docs build to ubuntu-24.04

  completed successfully:
  actionlint#36:Pull request#1191openedbyjessealama
  jessealama:pin-docs-ubuntu-2404

  Nov 3, 202617s
  More actions for workflow run 36

• ci: bump the actions group across 1 directory with 5 updates

  completed successfully:
  actionlint#35:Pull request#912synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-fdb718c1da

  Nov 2, 202616s
  More actions for workflow run 35

• chore(ci): retire legacy nightly-testing automation (#1186)

  completed successfully:
  actionlint#34:Commit2544863pushedbygithub-merge-queue[bot]Bot
  main

  Nov 2, 202623s
  More actions for workflow run 34

• chore(ci): retire legacy nightly-testing automation

  completed successfully:
  actionlint#33:Pull request#1186openedbymarcelolynch
  marcelolynch:codex/retire-cslib-nightly-testing

  Nov 2, 202647s
  More actions for workflow run 33

• ci: bump the actions group across 1 directory with 5 updates

  completed successfully:
  actionlint#32:Pull request#912synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-fdb718c1da

  Oct 28, 202619s
  More actions for workflow run 32

• ci: bump the actions group across 1 directory with 5 updates

  completed successfully:
  actionlint#31:Pull request#912synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-fdb718c1da

  Oct 21, 202621s
  More actions for workflow run 31

• ci: bump the actions group across 1 directory with 5 updates

  completed successfully:
  actionlint#30:Pull request#912synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-fdb718c1da

  Oct 14, 202652s
  More actions for workflow run 30

• ci: bump the actions group across 1 directory with 5 updates

  completed successfully:
  actionlint#29:Pull request#912synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-fdb718c1da

  Oct 7, 202617s
  More actions for workflow run 29

• ci(weekly-lints): fail on a missing lint report and post a notice to Zulip

  completed successfully:
  actionlint#28:Pull request#886synchronizebyjessealama
  jessealama:ci/weekly-lints-guards

  Oct 5, 202616s
  More actions for workflow run 28

• ci: cancel superseded PR runs of Lean Action CI

  completed successfully:
  actionlint#27:Pull request#908synchronizebyjessealama
  jessealama:ci/lean-action-concurrency

  Oct 5, 202618s
  More actions for workflow run 27

• ci(nightly-testing): guard the bump-branch steps when the nightly bump branch exists

  completed successfully:
  actionlint#26:Pull request#914synchronizebyjessealama
  jessealama:ci/nightly-bump-guards

  Oct 5, 202613s
  More actions for workflow run 26

• ci(nightly-testing): replace github-script JS with bash

  completed successfully:
  actionlint#25:Pull request#940synchronizebyjessealama
  jessealama:ci/nightly-bump-bash

  Oct 5, 202652s
  More actions for workflow run 25

• ci: remove lint-style-action (#1047)

  completed successfully:
  actionlint#24:Commit9a66d5cpushedbygithub-merge-queue[bot]Bot
  main

  Oct 3, 202614s
  More actions for workflow run 24

• ci: remove lint-style-action

  completed successfully:
  actionlint#23:Pull request#1047openedbychenson2018
  chenson2018/rm-python-lint

  Oct 3, 202616s
  More actions for workflow run 23

• perf(ci): reuse the prepared environment for style linting

  completed successfully:
  actionlint#22:Pull request#1014synchronizebySamuelSchlesinger
  SamuelSchlesinger:samschles/ci-reuse-style-environment

  Oct 3, 202616s
  More actions for workflow run 22

• perf(ci): cache compiled tests

  completed successfully:
  actionlint#21:Pull request#1015openedbySamuelSchlesinger
  SamuelSchlesinger:samschles/ci-cache-tests

  Oct 1, 202618s
  More actions for workflow run 21

• perf(ci): reuse the prepared environment for style linting

  completed successfully:
  actionlint#20:Pull request#1014openedbySamuelSchlesinger
  SamuelSchlesinger:samschles/ci-reuse-style-environment

  Oct 1, 202622s
  More actions for workflow run 20

• ci: bump the actions group across 1 directory with 5 updates

  completed successfully:
  actionlint#19:Pull request#912synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-fdb718c1da

  Sep 30, 202614s
  More actions for workflow run 19

• ci(nightly-testing): replace github-script JS with bash

  completed successfully:
  actionlint#18:Pull request#940synchronizebyjessealama
  jessealama:ci/nightly-bump-bash

  Sep 23, 202614s
  More actions for workflow run 18

• ci(nightly-testing): replace github-script JS with bash

  completed successfully:
  actionlint#17:Pull request#940synchronizebyjessealama
  jessealama:ci/nightly-bump-bash

  Sep 23, 202615s
  More actions for workflow run 17

• ci(nightly-testing): link the failing commit in the failure message (…

  completed successfully:
  actionlint#16:Commit381dd51pushedbygithub-merge-queue[bot]Bot
  main

  Sep 23, 202620s
  More actions for workflow run 16