Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 24, 2023

• Merge pull request coq-community#146 from proux01/mathcomp117

  proux01

  authoredMay 24, 2023
  721d4a5

Commits on May 23, 2023

• MathComp: 1.16.0 -> 1.17.0

  proux01

  committedMay 23, 2023
  cd22816

Commits on May 15, 2023

• Merge pull request coq-community#147 from affeldt-aist/add_infotheo_051

  proux01

  authoredMay 15, 2023
  e2a21e5

• add infotheo 0.5.1

  

  affeldt-aist

  authored and

  proux01

  committedMay 15, 2023
  8116099

Commits on Apr 28, 2023

• Merge pull request coq-community#145 from proux01/parameterize_trigger

  proux01

  authoredApr 28, 2023
  8893994

• Check mergeability before using refs/pull/PR/merge

  proux01

  committedApr 28, 2023
  fdd7120

• Add option to run on push on other branches than master

  proux01

  committedApr 28, 2023
  0e84072

Commits on Apr 20, 2023

• Merge pull request coq-community#144 from proux01/update_actions

  proux01

  authoredApr 20, 2023
  26dc08e

• Update actions

  proux01

  committedApr 20, 2023
  0986ee4

Commits on Apr 13, 2023

• Merge pull request coq-community#142 from proux01/mathcomp_algebra_tactics_111

  proux01

  authoredApr 13, 2023
  f7c7814

• Add MC Algebra Tactics 1.1.1

  proux01

  committedApr 13, 2023
  6fd7e73

Commits on Apr 9, 2023

• Merge pull request coq-community#141 from proux01/update_checkout

  proux01

  authoredApr 9, 2023
  be1a126

• Update actions

  proux01

  committedApr 9, 2023
  4763b25

• Update checkout action

  proux01

  committedApr 9, 2023
  fcb3d8e

Commits on Mar 30, 2023

• Merge pull request coq-community#139 from proux01/test_apery

  proux01

  authoredMar 30, 2023
  6cde214

• Adding Apery

  proux01

  committedMar 30, 2023
  71dde47

Commits on Mar 9, 2023

• Merge pull request coq-community#137 from proux01/mathcomp_1_16_0

  CohenCyril

  authoredMar 9, 2023
  a197919

• Test NixOS/nixpkgs#220000

  proux01

  committedMar 9, 2023
  955c951

Commits on Mar 1, 2023

• Merge pull request coq-community#135 from coq-community/cachix-action-v12

  thery

  authoredMar 1, 2023
  f32b027

• update action to v12

  CohenCyril

  committedMar 1, 2023
  0bb4e34

Commits on Jan 11, 2023

• Merge pull request coq-community#129 from proux01/coq817rc1

  proux01

  authoredJan 11, 2023
  b591f49

• Adding 8.17 workflow

  proux01

  committedJan 11, 2023
  e1575e5

Commits on Jan 9, 2023

• Update nixpkgs

  proux01

  committedJan 9, 2023
  a1967da

Commits on Nov 29, 2022

• Merge pull request coq-community#127 from coq-community/HoTT

  CohenCyril

  authoredNov 29, 2022
  ee0b136

• Integrate HoTT

  CohenCyril

  committedNov 29, 2022
  4fafd43

Commits on Nov 25, 2022

• Merge pull request coq-community#126 from coq-community/testing-algebra-tactics

  CohenCyril

  authoredNov 25, 2022
  242e9fc

Commits on Nov 24, 2022

• Testing mathcomp-algebra-tactics

  CohenCyril

  committedNov 24, 2022
  b47fdcd

Commits on Oct 11, 2022

• Merge pull request coq-community#122 from proux01/test_mathcomp-analysis-single

  proux01

  authoredOct 11, 2022
  cd64bd6

• Add mathcomp-analysis-single

  proux01

  committedOct 11, 2022
  c5e73c9

Commits on Sep 30, 2022

• Merge pull request coq-community#123 from coq-community/hierarchy-builder-1.4.0

  CohenCyril

  authoredSep 30, 2022
  84cb9c4

• Testing hierarchy-builder 1.4.0

  CohenCyril

  committedSep 30, 2022
  4f6f1cc

Commits on Sep 26, 2022

• Merge pull request coq-community#117 from proux01/test_split_mathcomp_analysis

  proux01

  authoredSep 26, 2022
  4f0eb19

• split_mathcomp_analysis

  proux01

  committedSep 26, 2022
  fa555a4

Commits on Sep 9, 2022

• Merge pull request coq-community#120 from coq-community/coq-8-16-packages

  Zimmi48

  authoredSep 9, 2022
  39243d0

• Nixpkgs update enabling many Coq 8.16 packages.

  Zimmi48

  committedSep 9, 2022
  0e5947b

Pagination

PreviousNext