All workflows

Workflow runs

• Nightly Release

  completed successfully:
  Nightly Release#241:Scheduled
  main

  Nov 1, 202611s
  More actions for workflow run 241

• Nightly Release

  completed successfully:
  Nightly Release#240:Scheduled
  main

  Oct 31, 202612s
  More actions for workflow run 240

• PR Import

  failed:
  PR Import#201:Merge group checks requested
  Oct 30, 20268m 27s
  More actions for workflow run 201

• Build

  completed successfully:
  Build#11351:Merge group checks requested
  Oct 30, 202657m 29s
  More actions for workflow run 11351

• fix(build): sync lakefile.toml with internal targets, bump Plausible to v4.34.0

  completed successfully:
  Label review status#6619:Pull request#1494submittedbyshigoel
  Oct 30, 20263m 20s
  More actions for workflow run 6619

• SMT denotation: datatypes

  requires action with the application:
  Build#11350:Pull request#1493synchronizebykondylidou
  kondylidou:feat/smt-denote-datatypes

  Oct 30, 2026Action required
  More actions for workflow run 11350

• SMT denotation: datatypes

  completed successfully:
  Label PR areas#3703:Pull request#1493synchronizebykondylidou
  Oct 30, 202642s
  More actions for workflow run 3703

• SMT denotation: datatypes

  requires action with the application:
  PR Import#200:Pull request#1493synchronizebykondylidou
  kondylidou:feat/smt-denote-datatypes

  Oct 30, 2026Action required
  More actions for workflow run 200

• SMT denotation: datatypes

  completed successfully:
  Label review status#6618:Pull request#1493synchronizebykondylidou
  Oct 30, 20261m 46s
  More actions for workflow run 6618

• SMT denotation: datatypes

  completed successfully:
  Label merge conflicts#4727:Pull request#1493synchronizebykondylidou
  Oct 30, 20262m 30s
  More actions for workflow run 4727

• fix(build): sync lakefile.toml with internal targets, bump Plausible to v4.34.0

  completed successfully:
  Build#11349:Pull request#1494synchronizebykadirayk
  fix/lakefile-sync-go-gen

  Oct 30, 20261h 33m 36s
  More actions for workflow run 11349

• fix(build): sync lakefile.toml with internal targets, bump Plausible to v4.34.0

  skipped:
  PR Import#199:Pull request#1494synchronizebykadirayk
  fix/lakefile-sync-go-gen

  Oct 30, 20264s
  More actions for workflow run 199

• fix(build): sync lakefile.toml with internal targets, bump Plausible to v4.34.0

  completed successfully:
  Label merge conflicts#4726:Pull request#1494synchronizebykadirayk
  Oct 30, 20262m 14s
  More actions for workflow run 4726

• fix(build): sync lakefile.toml with internal targets, bump Plausible to v4.34.0

  completed successfully:
  Label PR areas#3702:Pull request#1494synchronizebykadirayk
  Oct 30, 202641s
  More actions for workflow run 3702

• fix(build): sync lakefile.toml with internal targets, bump Plausible to v4.34.0

  completed successfully:
  Label review status#6617:Pull request#1494synchronizebykadirayk
  Oct 30, 202623s
  More actions for workflow run 6617

• PR #1494

  completed successfully:
  CodeQL#9426:bykadirayk
  refs/pull/1494/head

  Oct 30, 20267m 12s

• Fix copyright header check for Mathlib-ported FlexibleLinter

  completed successfully:
  Label review status#6616:Pull request#1495submittedbywkrozowski
  Oct 30, 202615s
  More actions for workflow run 6616

• Fix copyright header check for Mathlib-ported FlexibleLinter

  completed successfully:
  Label review status#6615:Pull request#1495submittedbyshigoel
  Oct 30, 202612s
  More actions for workflow run 6615

• Fix copyright header check for Mathlib-ported FlexibleLinter

  skipped:
  PR Import#198:Pull request#1495openedbykadirayk
  fix/copyright-check-apache-only

  Oct 30, 20261s
  More actions for workflow run 198

• Fix copyright header check for Mathlib-ported FlexibleLinter

  completed successfully:
  Label PR areas#3701:Pull request#1495openedbykadirayk
  Oct 30, 202615s
  More actions for workflow run 3701

• Fix copyright header check for Mathlib-ported FlexibleLinter

  completed successfully:
  Label review status#6614:Pull request#1495openedbykadirayk
  Oct 30, 202622s
  More actions for workflow run 6614

• Fix copyright header check for Mathlib-ported FlexibleLinter

  completed successfully:
  Label merge conflicts#4725:Pull request#1495openedbykadirayk
  Oct 30, 202617s
  More actions for workflow run 4725

• Fix copyright header check for Mathlib-ported FlexibleLinter

  failed:
  Build#11348:Pull request#1495openedbykadirayk
  fix/copyright-check-apache-only

  Oct 30, 202656m 49s
  More actions for workflow run 11348

• PR #1495

  completed successfully:
  CodeQL#9425:bykadirayk
  refs/pull/1495/head

  Oct 30, 20261m 7s

• Build

  failed:
  Build#11347:Merge group checks requested
  Oct 30, 202655m 7s
  More actions for workflow run 11347