All workflows

Workflow runs

• Update Dependencies

  failed:
  Update Dependencies#19:Scheduled
  main

  Mar 8, 20267m 43s
  More actions for workflow run 19

• Update Dependencies

  failed:
  Update Dependencies#18:Scheduled
  main

  Mar 1, 20265m 7s
  More actions for workflow run 18

• Update Dependencies

  failed:
  Update Dependencies#17:Scheduled
  main

  Feb 22, 20264m 43s
  More actions for workflow run 17

• Update Dependencies

  failed:
  Update Dependencies#16:Scheduled
  main

  Feb 15, 20265m 37s
  More actions for workflow run 16

• Update Dependencies

  failed:
  Update Dependencies#15:Scheduled
  main

  Feb 8, 20263m 11s
  More actions for workflow run 15

• Update Dependencies

  failed:
  Update Dependencies#14:Scheduled
  main

  Feb 1, 20265m 57s
  More actions for workflow run 14

• Update Dependencies

  failed:
  Update Dependencies#13:Scheduled
  main

  Jan 29, 20262m 58s
  More actions for workflow run 13

• Update Dependencies

  failed:
  Update Dependencies#12:Scheduled
  main

  Jan 22, 20263m 1s
  More actions for workflow run 12

• Update Dependencies

  failed:
  Update Dependencies#11:Scheduled
  main

  Jan 15, 20262m 29s
  More actions for workflow run 11

• Update Dependencies

  failed:
  Update Dependencies#10:Scheduled
  main

  Jan 8, 20262m 44s
  More actions for workflow run 10

• Update Dependencies

  failed:
  Update Dependencies#9:Scheduled
  main

  Jan 1, 20263m 19s
  More actions for workflow run 9

• Update Dependencies

  failed:
  Update Dependencies#8:Scheduled
  main

  Dec 29, 20252m 29s
  More actions for workflow run 8

• Update Dependencies

  failed:
  Update Dependencies#7:Scheduled
  main

  Dec 22, 20252m 30s
  More actions for workflow run 7

• Update Dependencies

  failed:
  Update Dependencies#6:Scheduled
  main

  Dec 15, 20252m 24s
  More actions for workflow run 6

• Update Dependencies

  failed:
  Update Dependencies#5:Scheduled
  main

  Dec 8, 20252m 39s
  More actions for workflow run 5

• Delete bad files (#203)

  failed:
  .github/workflows/build.yml#5:Commitc769785pushedbygauss-math-inc
  main

  Dec 1, 202550m 10s
  More actions for workflow run 5

• Update Dependencies

  failed:
  Update Dependencies#4:Scheduled
  main

  Dec 1, 20252m 53s
  More actions for workflow run 4

• chore(ForMathlib/SlashActions): golf (#208)

  failed:
  .github/workflows/build.yml#4:Commit999c406pushedbygauss-math-inc
  main

  Nov 29, 202550m 49s
  More actions for workflow run 4

• Update Dependencies

  failed:
  Update Dependencies#3:Scheduled
  main

  Nov 29, 20253m 5s
  More actions for workflow run 3

• Update Dependencies

  failed:
  Update Dependencies#2:Scheduled
  main

  Nov 22, 20253m 13s
  More actions for workflow run 2

• Update Dependencies

  failed:
  Update Dependencies#1:Scheduled
  main

  Nov 15, 20253m 7s
  More actions for workflow run 1

• small styling

  completed successfully:
  .github/workflows/build.yml#3:Pull request#3reopenedbydeancureton
  deancureton:gauss-magic-function-b-schwartz

  Nov 12, 20258m 43s
  More actions for workflow run 3

• small styling

  cancelled:
  .github/workflows/build.yml#2:Pull request#3openedbydeancureton
  deancureton:gauss-magic-function-b-schwartz

  Nov 12, 20254m 31s
  More actions for workflow run 2

• chore: fix new linter warnings (#179)

  failed:
  .github/workflows/build.yml#1:Commit26dba42pushedbygauss-math-inc
  main

  Nov 11, 202551m 8s
  More actions for workflow run 1

• chore: fix new linter warnings (#179)

  completed successfully:
  Create Release#1:Commit26dba42pushedbygauss-math-inc
  main

  Nov 11, 202514s
  More actions for workflow run 1