All workflows

Workflow runs

• Make cutoff

  failed:
  CI#29:Pull request#1synchronizebywclr
  make-cutoff

  Sep 8, 202627m 58s
  More actions for workflow run 29

• Make cutoff

  failed:
  CI#28:Pull request#1synchronizebywclr
  make-cutoff

  Sep 7, 20261h 11m 21s
  More actions for workflow run 28

• Make cutoff

  failed:
  CI#27:Pull request#1synchronizebywclr
  make-cutoff

  Sep 7, 202655m 7s
  More actions for workflow run 27

• Make cutoff

  failed:
  CI#26:Pull request#1synchronizebywclr
  make-cutoff

  Sep 7, 202652m 51s
  More actions for workflow run 26

• Make cutoff

  failed:
  CI#25:Pull request#1synchronizebywclr
  make-cutoff

  Aug 24, 202657m 22s
  More actions for workflow run 25

• Make cutoff

  failed:
  CI#24:Pull request#1synchronizebywclr
  make-cutoff

  Jul 21, 202653m 26s
  More actions for workflow run 24

• Make cutoff

  failed:
  CI#23:Pull request#1synchronizebythomashoneyman
  make-cutoff

  Jul 7, 202646m 11s
  More actions for workflow run 23

• Use -fspecialize-aggressively to improve performance by 30% on ACME b…

  failed:
  CI#22:Commit8ac0fb2pushedbywclr
  master

  Nov 6, 202517m 48s
  More actions for workflow run 22

• Merge pull request #3 from purescript/master

  completed successfully:
  CI#21:Commitd42997dpushedbywclr
  wclr/release

  Nov 6, 202552m 36s
  More actions for workflow run 21

• Use -fspecialize-aggressively to improve performance by 30%

  completed successfully:
  CI#20:Pull request#3openedbywclr
  purescript:master

  Nov 6, 202542m 17s
  More actions for workflow run 20