Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Jan 24, 2026

• feat: ping zulip if build fails (#10)

  Show description for 2c62b34
  bryangingechen

  authored
  2c62b34

  Copy full SHA for 2c62b34

Commits on Dec 25, 2025

• chore: add keepalive workflow and update actions versions (#9)

  bryangingechen

  authored
  c5d7f6f

  Copy full SHA for c5d7f6f

Commits on Sep 2, 2025

• not worth it

  hargoniX

  committed
  d76f183

  Copy full SHA for d76f183

Commits on Sep 1, 2025

• proper experiment

  hargoniX

  committed
  0a64711

  Copy full SHA for 0a64711

Commits on Jul 3, 2025

• chore: experiment

  hargoniX

  committed
  701ccfb

  Copy full SHA for 701ccfb

Commits on Feb 16, 2025

• add CI for pull requests, deploy docs when main is updated (#7)

  Show description for f9ac5d9
  bryangingechen

  authored
  f9ac5d9

  Copy full SHA for f9ac5d9

• Merge pull request #8 from leanprover-community/revert-6-patch-3

  Show description for 1761c19
  bryangingechen

  authored
  1761c19

  Copy full SHA for 1761c19

• Revert "chore: also build docs for cache, cli, importgraph and plausible"

  bryangingechen

  authored
  982b8ec

  Copy full SHA for 982b8ec

Commits on Feb 14, 2025

• Merge pull request #6 from grunweg/patch-3

  Show description for 16c0c64
  kim-em

  authored
  16c0c64

  Copy full SHA for 16c0c64

Commits on Feb 13, 2025

• chore: also build docs for cache, cli, importgraph and plausible

  grunweg

  authored
  8e369eb

  Copy full SHA for 8e369eb

Commits on Dec 18, 2024

• Merge pull request #5 from grunweg/patch-1

  Show description for aa305ac
  hargoniX

  authored
  aa305ac

  Copy full SHA for aa305ac

• chore: also copy 1000.yaml

  Show description for 0760d61
  grunweg

  authored
  0760d61

  Copy full SHA for 0760d61

Commits on Dec 9, 2024

• Merge pull request #4 from leanprover-community/bryangingechen-patch-1

  Show description for d65d834
  hargoniX

  authored
  d65d834

  Copy full SHA for d65d834

• bump dependencies

  bryangingechen

  authored
  c4a5a0a

  Copy full SHA for c4a5a0a

Commits on Oct 6, 2024

• ci attempt 2

  hargoniX

  committed
  64a7d1e

  Copy full SHA for 64a7d1e

• ci attempt 1

  hargoniX

  committed
  028d0d6

  Copy full SHA for 028d0d6

Commits on Sep 6, 2024

• Merge pull request #3 from joneugster/add-import-graph

  Show description for fe96b20
  hargoniX

  authored
  fe96b20

  Copy full SHA for fe96b20

Commits on Sep 5, 2024

• modify workflow

  joneugster

  committed
  2cd9ced

  Copy full SHA for 2cd9ced

• feat: add import graph

  joneugster

  committed
  103b447

  Copy full SHA for 103b447

Commits on Jul 13, 2024

• ci: references try1

  hargoniX

  committed
  bcbe82f

  Copy full SHA for bcbe82f

Commits on Jul 5, 2024

• ci: adapt to doc-gen changes

  hargoniX

  committed
  55e2fee

  Copy full SHA for 55e2fee

Commits on Jun 17, 2024

• ci: try 1

  hargoniX

  committed
  c4468a0

  Copy full SHA for c4468a0

Commits on May 7, 2024

• chore: rename to batteries

  hargoniX

  committed
  e7b13f7

  Copy full SHA for e7b13f7

Commits on Jan 4, 2024

• fix: set a git user to prevent CI hickups

  hargoniX

  committed
  a3ef987

  Copy full SHA for a3ef987

Commits on Nov 18, 2023

• fix: new lake directories

  hargoniX

  committed
  cd14aeb

  Copy full SHA for cd14aeb

Commits on Sep 25, 2023

• Build doc for Aesop and ProofWidgets (#2)

  PatrickMassot

  authored
  1f4ea76

  Copy full SHA for 1f4ea76

Commits on Aug 9, 2023

• restore full build

  eric-wieser

  committed
  e826b03

  Copy full SHA for e826b03

• final test?

  eric-wieser

  committed
  1394b13

  Copy full SHA for 1394b13

• Cleanup properly

  eric-wieser

  committed
  f9bde8c

  Copy full SHA for f9bde8c

• oops

  eric-wieser

  committed
  f0c992a

  Copy full SHA for f0c992a

• wip

  eric-wieser

  committed
  868aa13

  Copy full SHA for 868aa13

• hack to test docs uploads

  eric-wieser

  committed
  b4cf6c8

  Copy full SHA for b4cf6c8

• split steps more

  eric-wieser

  committed
  a3734de

  Copy full SHA for a3734de

• Remove debug line

  eric-wieser

  authored
  11aac77

  Copy full SHA for 11aac77

• try a new build setup

  eric-wieser

  committed
  145dca5

  Copy full SHA for 145dca5