Mathlib

Workflow runs for Mathlib

• full incremental checking interface

  completed successfully:
  Mathlib#88:Commitb28591fpushedbysdiehl
  main

  Nov 11, 20268m 38s
  More actions for workflow run 88

• add incremental caching stuff

  completed successfully:
  Mathlib#87:Commit5c8a523pushedbysdiehl
  v0.3.3

  Nov 9, 20265m 56s
  More actions for workflow run 87

• add incremental caching stuff

  completed successfully:
  Mathlib#86:Commit5c8a523pushedbysdiehl
  main

  Nov 9, 20267m 29s
  More actions for workflow run 86

• Mathlib

  completed successfully:
  Mathlib#85:Scheduled
  main

  Nov 9, 202612m 44s
  More actions for workflow run 85

• add x86 summaries ab probe

  completed successfully:
  Mathlib#84:Commit157626bpushedbysdiehl
  perf/sum-ab

  Nov 8, 20268m 36s
  More actions for workflow run 84

• reorder checks, overlap export reads

  completed successfully:
  Mathlib#83:Commitbcceb70pushedbysdiehl
  main

  Nov 8, 20268m 4s
  More actions for workflow run 83

• add x86 importer perf probe

  completed successfully:
  Mathlib#82:Commita6b70bdpushedbysdiehl
  perf/x86-probe

  Nov 8, 20267m 55s
  More actions for workflow run 82

• bump ci exporter to 0.5.0

  completed successfully:
  Mathlib#81:Commit581f547pushedbysdiehl
  main

  Nov 7, 202613m 52s
  More actions for workflow run 81

• bump olean-export to 0.5.0

  completed successfully:
  Mathlib#80:Commited01bd1pushedbysdiehl
  main

  Nov 7, 20264m 38s
  More actions for workflow run 80

• bound constructor universes in value core

  completed successfully:
  Mathlib#79:Commit54ce971pushedbysdiehl
  v0.3.2

  Nov 6, 20268m 44s
  More actions for workflow run 79

• bound constructor universes in value core

  completed successfully:
  Mathlib#78:Commit54ce971pushedbysdiehl
  main

  Nov 6, 20267m 21s
  More actions for workflow run 78

• performance tuning

  completed successfully:
  Mathlib#77:Commitfdd638apushedbysdiehl
  main

  Nov 5, 20268m 12s
  More actions for workflow run 77

• trim readme tables to best threads

  completed successfully:
  Mathlib#76:Commita3a71bfpushedbysdiehl
  main

  Nov 3, 20266m 29s
  More actions for workflow run 76

• collapse deep env runs into frames

  completed successfully:
  Mathlib#75:Commitf95043epushedbysdiehl
  v0.3.1

  Nov 3, 20268m 25s
  More actions for workflow run 75

• collapse deep env runs into frames

  completed successfully:
  Mathlib#74:Commitf95043epushedbysdiehl
  main

  Nov 3, 20268m 25s
  More actions for workflow run 74

• add pgo ab perf probe

  completed successfully:
  Mathlib#73:Commit4b00100pushedbysdiehl
  perf/ci-ab

  Nov 3, 20266m 17s
  More actions for workflow run 73

• release version 0.3.1

  completed successfully:
  Mathlib#72:Commit0682747pushedbysdiehl
  v0.3.1

  Nov 3, 20268m 4s
  More actions for workflow run 72

• release version 0.3.1

  completed successfully:
  Mathlib#71:Commit0682747pushedbysdiehl
  main

  Nov 3, 20268m 51s
  More actions for workflow run 71

• skip hardware counters without pmu

  completed successfully:
  Mathlib#70:Commit16012f2pushedbysdiehl
  perf/ci-probe

  Nov 2, 20269m 47s
  More actions for workflow run 70

• add linux perf profiling workflow

  cancelled:
  Mathlib#69:Commitdec7ca9pushedbysdiehl
  perf/ci-probe

  Nov 2, 20262m 53s
  More actions for workflow run 69

• document NbE

  completed successfully:
  Mathlib#68:Commit20ea1ccpushedbysdiehl
  main

  Nov 2, 20266m 17s
  More actions for workflow run 68

• release 0.3.0 and condense changelog

  completed successfully:
  Mathlib#67:Commitb153385pushedbysdiehl
  v0.3.0

  Nov 2, 20268m 42s
  More actions for workflow run 67

• release 0.3.0 and condense changelog

  completed successfully:
  Mathlib#66:Commitb153385pushedbysdiehl
  main

  Nov 2, 20268m 43s
  More actions for workflow run 66

• Mathlib

  completed successfully:
  Mathlib#65:Scheduled
  main

  Nov 2, 20269m 7s
  More actions for workflow run 65

• cleanup tables session pointers watch tests

  completed successfully:
  Mathlib#64:Commit73e1022pushedbysdiehl
  main

  Nov 2, 20268m 54s
  More actions for workflow run 64