Build, Test, and Benchmark

Workflow runs for Build, Test, and Benchmark

• Agda 2.9.0 release candidate 3 (including tests)

  completed successfully:
  Build, Test, and Benchmark#7224:Pull request#8891synchronizebyandreasabel
  release-2.9.0

  Nov 13, 202632m 16s
  More actions for workflow run 7224

• Fix #8905: keep module parameters at top level after loading .agdai

  completed successfully:
  Build, Test, and Benchmark#7223:Pull request#8906synchronizebybanacorn
  banacorn:issue8905

  Nov 12, 202631m 29s
  More actions for workflow run 7223

• Fixed #8452 again.

  failed:
  Build, Test, and Benchmark#7222:Commit5e4868epushedbyandreasabel
  master

  Nov 11, 202637s
  More actions for workflow run 7222

• Bump [ecosystem]

  completed successfully:
  Build, Test, and Benchmark#7221:Commit601011fpushedbyandreasabel
  master

  Nov 10, 202642m 0s
  More actions for workflow run 7221

• Bumps for the 2.9.0 release

  completed successfully:
  Build, Test, and Benchmark#7220:Pull request#8908openedbyandreasabel
  bump-subs

  Nov 10, 202639m 22s
  More actions for workflow run 7220

• Fix #8898 by remove termination blunder in decodeFloat

  completed successfully:
  Build, Test, and Benchmark#7219:Commit13aa603pushedbyandreasabel
  master

  Nov 10, 202634m 39s
  More actions for workflow run 7219

• Fix #8898 by remove termination blunder in decodeFloat

  completed successfully:
  Build, Test, and Benchmark#7218:Pull request#8907openedbyandreasabel
  issue-8898

  Nov 10, 202632m 6s
  More actions for workflow run 7218

• Fix #8905: keep module parameters at top level after loading .agdai

  completed successfully:
  Build, Test, and Benchmark#7217:Pull request#8906openedbybanacorn
  banacorn:issue8905

  Nov 10, 202634m 35s
  More actions for workflow run 7217

• [ Fix #6962] Definition parameter

  completed successfully:
  Build, Test, and Benchmark#7216:Pull request#8904synchronizebyL-TChen
  L-TChen:definition-parameter

  Nov 10, 202633m 55s
  More actions for workflow run 7216

• [ Fix #6962] Definition parameter

  completed successfully:
  Build, Test, and Benchmark#7215:Pull request#8904openedbyL-TChen
  L-TChen:definition-parameter

  Nov 10, 202634m 6s
  More actions for workflow run 7215

• Build, Test, and Benchmark

  completed successfully:
  Build, Test, and Benchmark#7214:Scheduled
  master

  Nov 8, 202631m 59s
  More actions for workflow run 7214

• Fix #434: implement the proposed new strategy of checking record decls

  failed:
  Build, Test, and Benchmark#7213:Pull request#8896openedbyandreasabel
  issue434-record-staging

  Nov 7, 202637m 29s
  More actions for workflow run 7213

• Patch test/Succeed/SizedRoseTree.agda with --no-double-check

  completed successfully:
  Build, Test, and Benchmark#7212:Commita6c0fafpushedbyandreasabel
  master

  Nov 7, 202634m 8s
  More actions for workflow run 7212

• Re #8829: secure a test case for semi-continuity yet unaccounted for

  failed:
  Build, Test, and Benchmark#7211:Commit41f91a6pushedbyandreasabel
  master

  Nov 7, 202629m 54s
  More actions for workflow run 7211

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

  failed:
  Build, Test, and Benchmark#7210:Pull request#8895openedbyandreasabel
  issue8829

  Nov 6, 202631m 57s
  More actions for workflow run 7210

• Fixed #8452 again

  completed successfully:
  Build, Test, and Benchmark#7209:Pull request#8894openedbynad
  issue8452

  Nov 6, 202637m 2s
  More actions for workflow run 7209

• Fix double-checking of interaction metas in record type declarations …

  completed successfully:
  Build, Test, and Benchmark#7208:Commit854e738pushedbyandreasabel
  master

  Nov 6, 202633m 25s
  More actions for workflow run 7208

• Fix double-checking of interaction metas in record type declarations

  completed successfully:
  Build, Test, and Benchmark#7207:Pull request#8892synchronizebyandreasabel
  issue-2257

  Nov 5, 20261h 35m 9s
  More actions for workflow run 7207

• Fix double-checking of interaction metas in record type declarations

  failed:
  Build, Test, and Benchmark#7206:Pull request#8892openedbyandreasabel
  issue-2257

  Nov 5, 202633m 49s
  More actions for workflow run 7206

• Agda 2.9.0 release candidate 2 [wasm]

  completed successfully:
  Build, Test, and Benchmark#7205:Pull request#8879synchronizebyandreasabel
  release-2.9.0

  Nov 4, 202630m 49s
  More actions for workflow run 7205

• Agda 2.9.0 release candidate 3 (including tests)

  completed successfully:
  Build, Test, and Benchmark#7204:Pull request#8891openedbyandreasabel
  release-2.9.0

  Nov 4, 202631m 57s
  More actions for workflow run 7204

• Fix #8888: constructor patterns keep the modality of the constructor

  completed successfully:
  Build, Test, and Benchmark#7203:Commitec45c73pushedbyandreasabel
  master

  Nov 4, 202634m 40s
  More actions for workflow run 7203

• Fix #8888: constructor patterns keep the modality of the constructor

  completed successfully:
  Build, Test, and Benchmark#7202:Pull request#8890openedbyandreasabel
  issue-8888

  Nov 4, 202629m 51s
  More actions for workflow run 7202

• Fix #2595 by double checking meta-solutions for shape-irrelevance

  completed successfully:
  Build, Test, and Benchmark#7201:Commit911622dpushedbyandreasabel
  master

  Nov 4, 202630m 11s
  More actions for workflow run 7201

• Fix #8881 by strengthening simplifyLevelConstraint

  completed successfully:
  Build, Test, and Benchmark#7200:Commit99f0a73pushedbyandreasabel
  master

  Nov 3, 202634m 6s
  More actions for workflow run 7200