Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jun 18, 2024

• [CI] [debian] Containerize testing of standalone (#1924)

  JasonGross

  committedJun 18, 2024
  c48e39d

Commits on Jun 17, 2024

• Bump rewriter from 9dd74a9 to edcec73 (#1918)

  dependabot[bot]

  committedJun 17, 2024
  da18c98

Commits on Jun 11, 2024

• Bump rupicola from e4eb40b to 71a5a07 (#1921)

  dependabot[bot]

  committedJun 11, 2024
  7ff747f

Commits on Jun 6, 2024

• Bump rupicola from dc1e8f3 to e4eb40b (#1920)

  dependabot[bot]

  committedJun 6, 2024
  8226ef9

Commits on Jun 4, 2024

• Greatly reduce the compilation time of src/Arithmetic/BarrettReduction.v. (#1919)

  ppedrot

  committedJun 4, 2024
  80141fa

Commits on Jun 3, 2024

• Bump coqprime from d5935ca to 6c225a2 (#1917)

  dependabot[bot]

  committedJun 3, 2024
  ea55d04

Commits on Jun 2, 2024

• Bump JamesIves/github-pages-deploy-action from 4.6.0 to 4.6.1 (#1914)

  dependabot[bot]

  committedJun 2, 2024
  8de8871

• [CI] [Haskell] Increase heap size to avoid heap overflow (#1915)

  JasonGross

  committedJun 2, 2024
  2e55cc1

Commits on May 20, 2024

• Make build.zig files compatible with newly released zig 0.12 (#1913)

  jedisct1

  committedMay 20, 2024
  a1cfdca

Commits on May 18, 2024

• Bump rupicola from a85c012 to dc1e8f3 (#1911)

  dependabot[bot]

  committedMay 18, 2024
  2f00603

Commits on May 15, 2024

• Automated Rust Crate Version Bump: Sun May 12 22:29:35 UTC 2024 b739724 (#1907)

  

  github-actions[bot]

  and

  Automated Publisher

  committedMay 15, 2024
  ffc5e91

• Also install .wasm.map files (#1908)

  JasonGross

  committedMay 15, 2024
  861b506

Commits on May 13, 2024

• Bump actions/cache from 3 to 4 (#1910)

  dependabot[bot]

  committedMay 13, 2024
  9e659e7

Commits on May 12, 2024

• [CI] Remove dead code (#1903)

  JasonGross

  committedMay 12, 2024
  b739724

Commits on May 10, 2024

• [Non-Mac] Switch to {upload,download}-artifact@v4 (#1898)

  JasonGross

  committedMay 10, 2024
  b2c4e31

• Disable implicit suffix rules in submakefiles (#1902)

  JasonGross

  committedMay 10, 2024
  8360733

• Bump rewriter from b1e8367 to 9dd74a9 (#1904)

  dependabot[bot]

  committedMay 10, 2024
  d70c5eb

• Reuse docker images for validate job (#1901)

  JasonGross

  committedMay 10, 2024
  ca96927

• More compact windows CI file (#1869)

  JasonGross

  committedMay 10, 2024
  58c442a

• [CI] Use {upload,download}-artifact@v4 in MacOS (#1899)

  JasonGross

  committedMay 10, 2024
  8699e77

• Merge pull request #1891 from JasonGross/mac-universal

  JasonGross

  committedMay 10, 2024
  5066396

Commits on May 9, 2024

• Include non-combined binaries in releases

  JasonGross

  committedMay 9, 2024
  5cc3bf6

• Disable js-of-ocaml on arm64

  JasonGross

  committedMay 9, 2024
  4986ba9

• Build universal (x86_64+arm64) binaries for MacOS

  JasonGross

  committedMay 9, 2024
  25b609c

• Support universal binaries in find-arch

  JasonGross

  committedMay 9, 2024
  8dcbc92

• Bump etc/coq-scripts from 857071d to e4d9e81 (#1896)

  dependabot[bot]

  committedMay 9, 2024
  1368f5f

• Allow host libc to mismatch debian container libc when testing binary (#1893)

  JasonGross

  committedMay 9, 2024
  73e5945

• eval opam env in describing sys config (#1895)

  JasonGross

  committedMay 9, 2024
  724035e

• [CI] brew install grep on MacOS for ggrep (#1894)

  JasonGross

  committedMay 9, 2024
  1461a9d

• Add ldd info to CI system config, and gcc & ldd on win

  JasonGross

  committedMay 9, 2024
  c5008e7

Commits on Apr 22, 2024

• Update coq-opam-package.yml

  JasonGross

  committedApr 22, 2024
  2bd0653

• Update coq-opam-package.yml (#1889)

  JasonGross

  committedApr 22, 2024
  15526a5

• Remove likely-unneeded GH_TOKEN from publish.yml

  JasonGross

  committedApr 22, 2024
  fd03a44

• Fix permissions in publish.yml

  JasonGross

  committedApr 22, 2024
  d0b10c2

• Automated Rust Crate Version Bump: Mon Apr 22 13:35:04 UTC 2024 5563f09 (#1887)

  

  JasonGross

  and

  Automated Publisher

  committedApr 22, 2024
  49650c5

Pagination

PreviousNext