Commits

Branch selector

 main

User selector

pitmonticone

Datepicker

All time

Commit History

Commits on Feb 28, 2025

• chore: upgrade update.yml

  pitmonticone

  committed
  b4db717

  Copy full SHA for b4db717

Commits on Feb 27, 2025

• Update build_docs.sh

  pitmonticone

  authored
  850e598

  Copy full SHA for 850e598

• Update build_docs.sh

  pitmonticone

  authored
  5517623

  Copy full SHA for 5517623

• [CI]: fix docs generation (#359)

  Show description for 0a4001b
  pitmonticone

  authored
  0a4001b

  Copy full SHA for 0a4001b

Commits on Feb 19, 2025

• chore: bump ruby

  pitmonticone

  committed
  404fc28

  Copy full SHA for 404fc28

• chore: bump mathlib (#350)

  pitmonticone

  authored
  cf2437c

  Copy full SHA for cf2437c

Commits on Feb 14, 2025

• chore: fix typo in claim-issue workflow script

  pitmonticone

  committed
  f5320cc

  Copy full SHA for f5320cc

Commits on Feb 6, 2025

• chore: bump to v4.17.0-rc1 (#335)

  Show description for 85df81a
  

  pitmonticone

  and

  YaelDillies

  authored
  85df81a

  Copy full SHA for 85df81a

• chore: bump to stable v4.16.0 (#337)

  pitmonticone

  authored
  4a97c89

  Copy full SHA for 4a97c89

Commits on Jan 6, 2025

• Revert "debugging claim-issue workflow"

  Show description for e66b7d1
  pitmonticone

  committed
  e66b7d1

  Copy full SHA for e66b7d1

• debugging claim-issue workflow

  pitmonticone

  committed
  30a65f2

  Copy full SHA for 30a65f2

Commits on Dec 31, 2024

• [CI]: Change update schedule to weekly

  pitmonticone

  committed
  cf6c85e

  Copy full SHA for cf6c85e

Commits on Dec 15, 2024

• Create dependabot.yml

  pitmonticone

  committed
  9284fbd

  Copy full SHA for 9284fbd

Commits on Dec 6, 2024

• Update 01-claim-issue.yml

  pitmonticone

  committed
  0e585fe

  Copy full SHA for 0e585fe

Commits on Dec 2, 2024

• [BLUEPRINT]: Make the dependency graph colour scheme explicit (#261)

  pitmonticone

  authored
  ff78769

  Copy full SHA for ff78769

Commits on Dec 1, 2024

• chore: unify blueprint workflows (#249)

  Show description for 0ddbd82
  

  pitmonticone

  and

  Ruben-VandeVelde

  authored
  0ddbd82

  Copy full SHA for 0ddbd82

Commits on Nov 30, 2024

• chore: fix bump

  pitmonticone

  committed
  08b4d45

  Copy full SHA for 08b4d45

Commits on Nov 25, 2024

• chore: fix bump (#226)

  pitmonticone

  authored
  3c782ee

  Copy full SHA for 3c782ee

Commits on Nov 19, 2024

• fix create-release.yml

  pitmonticone

  authored
  f56857a

  Copy full SHA for f56857a

Commits on Nov 13, 2024

• chore: golf a bit (#212)

  Show description for 845664c
  

  3 peopleauthored
  845664c

  Copy full SHA for 845664c

Commits on Nov 11, 2024

• Create create-release.yml (#213)

  pitmonticone

  authored
  29dfe42

  Copy full SHA for 29dfe42

Commits on Nov 9, 2024

• add create-release workflow

  pitmonticone

  committed
  e451479

  Copy full SHA for e451479

Commits on Nov 8, 2024

• chore: upgrade deprecated lemmas (#210)

  pitmonticone

  authored
  08b1958

  Copy full SHA for 08b1958

Commits on Nov 1, 2024

• Fix failed bump (#190)

  pitmonticone

  authored
  a570054

  Copy full SHA for a570054

Commits on Oct 25, 2024

• Bump dependencies (#183)

  pitmonticone

  authored
  aded09c

  Copy full SHA for aded09c

• Create update_mathlib.sh

  pitmonticone

  committed
  1b353be

  Copy full SHA for 1b353be

Commits on Oct 22, 2024

• fix jekyll github api warning

  pitmonticone

  committed
  3b548ea

  Copy full SHA for 3b548ea

• trivial change (#154)

  pitmonticone

  authored
  0fae0ef

  Copy full SHA for 0fae0ef

• update workflows

  pitmonticone

  committed
  23d2370

  Copy full SHA for 23d2370

Commits on Oct 18, 2024

• Update ch07exampleGLn.tex (#173)

  pitmonticone

  authored
  88cc33b

  Copy full SHA for 88cc33b

Commits on Oct 16, 2024

• Improve workflows

  pitmonticone

  committed
  bddd435

  Copy full SHA for bddd435

• add safety scripts

  pitmonticone

  committed
  6bd8d41

  Copy full SHA for 6bd8d41

• manage concurrency in push and push_pr workflows

  pitmonticone

  committed
  c9fb940

  Copy full SHA for c9fb940

• Update CONTRIBUTING.md

  pitmonticone

  committed
  03643c6

  Copy full SHA for 03643c6

• Remove dashboard-based workflow

  pitmonticone

  committed
  d0bdc0a

  Copy full SHA for d0bdc0a

Pagination

Previous

Next