All workflows

Workflow runs

• deps-sentinel

  completed successfully:
  deps-sentinel#2033:Scheduled
  master

  Nov 7, 202618s
  More actions for workflow run 2033

• titles

  completed successfully:
  titles#11541:Scheduled
  master

  Nov 7, 202634s
  More actions for workflow run 11541

• deps-sentinel

  completed successfully:
  deps-sentinel#2032:Scheduled
  master

  Nov 7, 202617s
  More actions for workflow run 2032

• post-comment

  completed successfully:
  post-comment#1564:completedbysherenkov
  Nov 7, 20267s
  More actions for workflow run 1564

• post-comment

  completed successfully:
  post-comment#1563:completedbysherenkov
  Nov 7, 202648s
  More actions for workflow run 1563

• fix: #1941 commit to named arguments once the first one starts, so a typo inside the list is reported where it is

  completed successfully:
  cabal#4347:Pull request#2231synchronizebysherenkov
  sherenkov:bug/#1941/named-args-error

  Nov 7, 20268m 54s
  More actions for workflow run 4347

• fix: #1941 commit to named arguments once the first one starts, so a typo inside the list is reported where it is

  completed successfully:
  hlint#3815:Pull request#2231synchronizebysherenkov
  sherenkov:bug/#1941/named-args-error

  Nov 7, 20262m 6s
  More actions for workflow run 3815

• fix: #1941 commit to named arguments once the first one starts, so a typo inside the list is reported where it is

  completed successfully:
  reuse#4369:Pull request#2231synchronizebysherenkov
  sherenkov:bug/#1941/named-args-error

  Nov 7, 20264m 19s
  More actions for workflow run 4369

• fix: #1941 commit to named arguments once the first one starts, so a typo inside the list is reported where it is

  completed successfully:
  coverage#2302:Pull request#2231synchronizebysherenkov
  sherenkov:bug/#1941/named-args-error

  Nov 7, 20266m 6s
  More actions for workflow run 2302

• fix: #1941 commit to named arguments once the first one starts, so a typo inside the list is reported where it is

  completed successfully:
  pdd#4369:Pull request#2231synchronizebysherenkov
  sherenkov:bug/#1941/named-args-error

  Nov 7, 20263m 37s
  More actions for workflow run 4369

• fix: #1941 commit to named arguments once the first one starts, so a typo inside the list is reported where it is

  completed successfully:
  fourmolu#3260:Pull request#2231synchronizebysherenkov
  sherenkov:bug/#1941/named-args-error

  Nov 7, 20265m 47s
  More actions for workflow run 3260

• fix: #1941 commit to named arguments once the first one starts, so a typo inside the list is reported where it is

  completed successfully:
  no-comments#1040:Pull request#2231synchronizebysherenkov
  sherenkov:bug/#1941/named-args-error

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

• fix: #1941 commit to named arguments once the first one starts, so a typo inside the list is reported where it is

  completed successfully:
  compiled#1349:Pull request#2231synchronizebysherenkov
  sherenkov:bug/#1941/named-args-error

  Nov 7, 20266m 28s
  More actions for workflow run 1349

• fix: #1941 commit to named arguments once the first one starts, so a typo inside the list is reported where it is

  completed successfully:
  copyrights#4370:Pull request#2231synchronizebysherenkov
  sherenkov:bug/#1941/named-args-error

  Nov 7, 20265m 55s
  More actions for workflow run 4370

• fix: #1941 commit to named arguments once the first one starts, so a typo inside the list is reported where it is

  completed successfully:
  resources#4137:Pull request#2231synchronizebysherenkov
  sherenkov:bug/#1941/named-args-error

  Nov 7, 20266m 10s
  More actions for workflow run 4137

• fix: #1941 commit to named arguments once the first one starts, so a typo inside the list is reported where it is

  completed successfully:
  stack#4344:Pull request#2231synchronizebysherenkov
  sherenkov:bug/#1941/named-args-error

  Nov 7, 20268m 5s
  More actions for workflow run 4344

• fix: #1941 commit to named arguments once the first one starts, so a typo inside the list is reported where it is

  completed successfully:
  regression-check#1571:Pull request#2231synchronizebysherenkov
  sherenkov:bug/#1941/named-args-error

  Nov 7, 202615m 55s
  More actions for workflow run 1571

• fix: #1941 commit to named arguments once the first one starts, so a typo inside the list is reported where it is

  completed successfully:
  latex#3247:Pull request#2231synchronizebysherenkov
  sherenkov:bug/#1941/named-args-error

  Nov 7, 20265m 48s
  More actions for workflow run 3247

• fix: #1941 commit to named arguments once the first one starts, so a typo inside the list is reported where it is

  completed successfully:
  typos#4370:Pull request#2231synchronizebysherenkov
  sherenkov:bug/#1941/named-args-error

  Nov 7, 20264m 59s
  More actions for workflow run 4370

• fix: #1941 commit to named arguments once the first one starts, so a typo inside the list is reported where it is

  completed successfully:
  objectionary#1103:Pull request#2231synchronizebysherenkov
  sherenkov:bug/#1941/named-args-error

  Nov 7, 20269m 39s
  More actions for workflow run 1103

• A rule naming the attribute n or y in eq, in or disjoint cannot be loaded, since YAML reads a bare n or y as a boolean, which the Attribute parser refuses (src/Yaml.hs:73)

  completed successfully:
  titles#11540:Issue#2294openedbysherenkov
  Nov 7, 202631s
  More actions for workflow run 11540

• fix: #2255 read \1 to \9 in a sed replacement as the groups they name

  completed successfully:
  latex#3246:Pull request#2293synchronizebysherenkov
  sherenkov:bug/#2255/sed-back-reference

  Nov 7, 20263m 49s
  More actions for workflow run 3246

• fix: #2255 read \1 to \9 in a sed replacement as the groups they name

  completed successfully:
  regression-check#1570:Pull request#2293synchronizebysherenkov
  sherenkov:bug/#2255/sed-back-reference

  Nov 7, 202615m 31s
  More actions for workflow run 1570

• fix: #2255 read \1 to \9 in a sed replacement as the groups they name

  completed successfully:
  compiled#1348:Pull request#2293synchronizebysherenkov
  sherenkov:bug/#2255/sed-back-reference

  Nov 7, 20264m 45s
  More actions for workflow run 1348

• fix: #2255 read \1 to \9 in a sed replacement as the groups they name

  completed successfully:
  resources#4136:Pull request#2293synchronizebysherenkov
  sherenkov:bug/#2255/sed-back-reference

  Nov 7, 20264m 23s
  More actions for workflow run 4136