Build (stack)

Workflow runs for Build (stack)

• Agda 2.9.0 release candidate 3 (including tests)

  completed successfully:
  Build (stack)#5518:Pull request#8891synchronizebyandreasabel
  release-2.9.0

  Nov 13, 202617m 52s
  More actions for workflow run 5518

• Agda 2.9.0 release candidate 3 (including tests)

  completed successfully:
  Build (stack)#5517:Pull request#8891synchronizebyandreasabel
  release-2.9.0

  Nov 13, 202619m 5s
  More actions for workflow run 5517

• Bump [ecosystem]

  completed successfully:
  Build (stack)#5516:Commit601011fpushedbyandreasabel
  master

  Nov 10, 202630m 22s
  More actions for workflow run 5516

• Bumps for the 2.9.0 release

  failed:
  Build (stack)#5515:Pull request#8908openedbyandreasabel
  bump-subs

  Nov 10, 202631m 53s
  More actions for workflow run 5515

• Fix #8829 by adding semi-continuity test for suc-size termination

  completed successfully:
  Build (stack)#5514:Pull request#8895openedbyandreasabel
  issue8829

  Nov 6, 202629m 27s
  More actions for workflow run 5514

• Restore speculative TC state on failure

  completed successfully:
  Build (stack)#5513:Pull request#8874synchronizebydancewithheart
  dancewithheart:fix-local-tc-state

  Oct 23, 202634m 3s
  More actions for workflow run 5513

• Restore speculative TC state on failure

  completed successfully:
  Build (stack)#5512:Pull request#8874openedbydancewithheart
  dancewithheart:fix-local-tc-state

  Oct 23, 202633m 4s
  More actions for workflow run 5512

• PiSort experiments

  completed successfully:
  Build (stack)#5511:Pull request#8859openedbyNathanielB123
  NathanielB123:new-pisort

  Oct 21, 202634m 52s
  More actions for workflow run 5511

• Bump version to 2.10.0

  completed successfully:
  Build (stack)#5510:Commit6e187a1pushedbyandreasabel
  master

  Oct 18, 202642m 18s
  More actions for workflow run 5510

• Agda 2.9.0 RC1 (2.8.20261018)

  completed successfully:
  Build (stack)#5509:Pull request#8846synchronizebyandreasabel
  release-2.9.0-candidate

  Oct 18, 20261h 8m 59s
  More actions for workflow run 5509

• Agda 2.9.0 RC1 (2.8.20261018)

  cancelled:
  Build (stack)#5508:Pull request#8846synchronizebyandreasabel
  release-2.9.0-candidate

  Oct 18, 20268m 39s
  More actions for workflow run 5508

• CI cabal/stack macOS 26: workaround: xcode-select cmd-line-tools

  completed successfully:
  Build (stack)#5507:Commitb1b2f82pushedbyandreasabel
  master

  Oct 18, 202645m 31s
  More actions for workflow run 5507

• Agda 2.9.0 RC1 (2.8.20261018)

  cancelled:
  Build (stack)#5506:Pull request#8846openedbyandreasabel
  release-2.9.0-candidate

  Oct 18, 202621m 39s
  More actions for workflow run 5506

• CHANGELOG: add list of closed issues for 2.9.0

  failed:
  Build (stack)#5505:Commit5bfb02dpushedbyandreasabel
  master

  Oct 18, 202622m 20s
  More actions for workflow run 5505

• CI stack.yml: use latest Stack again

  completed successfully:
  Build (stack)#5504:Commit1907bc0pushedbyandreasabel
  master

  Oct 10, 202624m 58s
  More actions for workflow run 5504

• CI stack.yml: use latest Stack again

  completed successfully:
  Build (stack)#5503:Pull request#8825openedbyandreasabel
  stack-3.11

  Oct 10, 202625m 32s
  More actions for workflow run 5503

• Changes to treeless let bindings.

  completed successfully:
  Build (stack)#5502:Commita3f41e8pushedbynad
  master

  Oct 9, 202651m 0s
  More actions for workflow run 5502

• Strict lets

  completed successfully:
  Build (stack)#5501:Pull request#8768synchronizebynad
  Strict_lets

  Oct 8, 202637m 52s
  More actions for workflow run 5501

• Strict lets

  cancelled:
  Build (stack)#5500:Pull request#8768synchronizebynad
  Strict_lets

  Oct 8, 202613m 41s
  More actions for workflow run 5500

• Testsuite JS compiler golden: wider filter for node:internal trace

  completed successfully:
  Build (stack)#5499:Commitf6bd8a8pushedbyandreasabel
  master

  Oct 4, 202627m 11s
  More actions for workflow run 5499

• CI: bump runner image to ubuntu-26.04

  completed successfully:
  Build (stack)#5498:Pull request#8805synchronizebyandreasabel
  bump-ci-ubuntu-26

  Oct 3, 202622m 39s
  More actions for workflow run 5498

• CI: bump runner image to ubuntu-26.04

  completed successfully:
  Build (stack)#5497:Pull request#8805synchronizebyandreasabel
  bump-ci-ubuntu-26

  Oct 3, 202618m 7s
  More actions for workflow run 5497

• CI: bump runner image to ubuntu-26.04

  failed:
  Build (stack)#5496:Pull request#8805synchronizebyandreasabel
  bump-ci-ubuntu-26

  Oct 3, 202627m 5s
  More actions for workflow run 5496

• CI: bump runner image to ubuntu-26.04

  failed:
  Build (stack)#5495:Pull request#8805openedbyandreasabel
  bump-ci-ubuntu-26

  Oct 3, 202618m 39s
  More actions for workflow run 5495

• Cosmetics: extension PatternGuards is already in Haskell2010

  completed successfully:
  Build (stack)#5494:Commitcabd583pushedbyandreasabel
  master

  Sep 30, 202617m 55s
  More actions for workflow run 5494