Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 20, 2024

• chore: Add dedicated CI test using coqorg/base (from v8.20 branch)

  erikmd

  committed
  379748e

Commits on Feb 16, 2024

• fix(CI): Remove coq-bignums beforehand & Ensure make -C tests runs after make install (#87)

  Show description for e6085d6
  

  proux01

  and

  erikmd

  authored
  e6085d6

Commits on May 9, 2022

• Remove scheduled workflows

  Show description for def90f1
  proux01

  committed
  def90f1

Commits on Dec 9, 2021

• update meta.yml for coq-community, add maintainers and generate boilerplate

  palmskog

  committed
  a3c2a3d

Commits on Nov 27, 2020

• fix: GHA branch - s/split-script/v1/

  Show description for cc57f81
  erikmd

  committed
  cc57f81

• Further simplify build-coq-bignums.yml

  Show description for c8cbc71
  erikmd

  committed
  c8cbc71

Commits on Nov 26, 2020

• feat: Simplify .github/worflows using upcoming docker-coq-action 1.2.0

  erikmd

  committed
  a64ba9a

Commits on Nov 22, 2020

• fix(CI): Add missing -R flag

  erikmd

  committed
  3457263

• [CI] Add a daily build

  Show description for d399bec
  proux01

  committed
  d399bec

• Move CI from Travis to Github Actions

  Show description for cd08eb9
  proux01

  committed
  cd08eb9

Loading