Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 27, 2025

• Fix auto minimizer to download all dependencies (#333)

  Zimmi48

  authored
  e838d62

  Copy full SHA for e838d62

Commits on Jan 22, 2025

• Fix auto minimizer to download all dependencies

  Show description for 6c59769
  SkySkimmer

  committed
  6c59769

  Copy full SHA for 6c59769

• Check summary: report all dependencies not just the "build" job.

  SkySkimmer

  committed
  7c6436c

  Copy full SHA for 7c6436c

Commits on Jan 15, 2025

• Missing newline at the end of a log message.

  Zimmi48

  committed
  fba784b

  Copy full SHA for fba784b

• Manually install Heroku CLI.

  Show description for 1872523
  Zimmi48

  committed
  1872523

  Copy full SHA for 1872523

• Update versions of actions used in deploy workflow.

  Zimmi48

  committed
  a7e3dfc

  Copy full SHA for a7e3dfc

• Fix fine-grained handling of errors in backport management.

  Zimmi48

  committed
  4627265

  Copy full SHA for 4627265

• Update GitHub and GitLab GraphQL schema.

  Zimmi48

  committed
  eb647e5

  Copy full SHA for eb647e5

Commits on Dec 5, 2024

• Adapt to coq/coq#19530. (#330)

  Zimmi48

  authored
  1d7655f

  Copy full SHA for 1d7655f

Commits on Nov 16, 2024

• bug-minimizer: link to run-coq-bug-minimizer/actions more (#329)

  Show description for 470f46d
  JasonGross

  authored
  470f46d

  Copy full SHA for 470f46d

Commits on Nov 14, 2024

• Adapt to coq/coq#19530.

  Zimmi48

  committed
  0dfe5a3

  Copy full SHA for 0dfe5a3

Commits on Nov 13, 2024

• Add .mailmap (#328)

  Show description for 26b1e52
  JasonGross

  authored
  26b1e52

  Copy full SHA for 26b1e52

Commits on Oct 28, 2024

• Update GitLab GraphQL schema.

  Zimmi48

  committed
  f17df6c

  Copy full SHA for f17df6c

• Mirror the docker-rocq repository.

  Zimmi48

  committed
  050c9a1

  Copy full SHA for 050c9a1

• Bump OCaml version used in Docker image. (#326)

  Show description for 3dd0339
  Zimmi48

  authored
  3dd0339

  Copy full SHA for 3dd0339

• Release the version constraint on ssl.

  Show description for bee4e86
  Zimmi48

  committed
  bee4e86

  Copy full SHA for bee4e86

• Bump OCaml version used in Docker image.

  Show description for e1154c1
  Zimmi48

  committed
  e1154c1

  Copy full SHA for e1154c1

Commits on Oct 22, 2024

• Update GitHub and GitLab GraphQL schemas.

  Zimmi48

  committed
  e832e19

  Copy full SHA for e832e19

• Update to mirage-crypto 1.0.0 API (#314)

  Zimmi48

  authored
  f4b1980

  Copy full SHA for f4b1980

• Update nixpkgs to get latest mirage-crypto.

  Zimmi48

  committed
  e720713

  Copy full SHA for e720713

Commits on Oct 21, 2024

• update to mirage-crypto 1.0.0 API

  hannesm

  committed
  9fa2c8e

  Copy full SHA for 9fa2c8e

Commits on Oct 16, 2024

• Include stderr in error reports for easier debugging (#320)

  Show description for 001a4ca
  JasonGross

  authored
  001a4ca

  Copy full SHA for 001a4ca

• Migrate coq/opam to use Inria GitLab instead of GitLab.com. (#324)

  Show description for d5d3c0b
  Zimmi48

  authored
  d5d3c0b

  Copy full SHA for d5d3c0b

• Migrate coq/opam to use Inria GitLab instead of GitLab.com.

  Show description for 9c20d5f
  Zimmi48

  committed
  9c20d5f

  Copy full SHA for 9c20d5f

• Workaround another opam timeout.

  Zimmi48

  committed
  73f6dce

  Copy full SHA for 73f6dce

• dune build @fmt --auto-promote with ocamlformat 0.26.2 (#316)

  Show description for 161e914
  Zimmi48

  authored
  161e914

  Copy full SHA for 161e914

• Update CONTRIBUTING.md

  

  JasonGross

  authored and

  Zimmi48

  committed
  8950768

  Copy full SHA for 8950768

• dune build @fmt --auto-promote with ocamlformat 0.26.2

  

  JasonGross

  authored and

  Zimmi48

  committed
  fdc3588

  Copy full SHA for fdc3588

Commits on Oct 14, 2024

• Post a comment when the bug minimizer fails to start, even when not in CI mode (#319)

  JasonGross

  authored
  7db6b5a

  Copy full SHA for 7db6b5a

• Post a comment when the bug minimizer fails to start, even when not in CI mode

  JasonGross

  committed
  0ed5c81

  Copy full SHA for 0ed5c81

• Longer timeout for depext (#322)

  Show description for d0300d7
  JasonGross

  authored
  d0300d7

  Copy full SHA for d0300d7

• Don't leak the token in the error message (#317)

  Show description for a1e0cc7
  JasonGross

  authored
  a1e0cc7

  Copy full SHA for a1e0cc7

Commits on Oct 13, 2024

• Longer timeout for depext

  Show description for 178765f
  JasonGross

  committed
  178765f

  Copy full SHA for 178765f

Commits on Oct 12, 2024

• Don't leak the token in the error message

  JasonGross

  committed
  52cd5dc

  Copy full SHA for 52cd5dc

Commits on Sep 17, 2024

• bug-minimizer: link to run-coq-bug-minimizer/actions more (#312)

  Show description for 7e8b31f
  JasonGross

  authored
  7e8b31f

  Copy full SHA for 7e8b31f

Pagination

Previous

Next