Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on May 26, 2021

• CI: added 'make depend' to opam files used in CI

  MSoegtropIMC

  committed
  a78fcf9

  Copy full SHA for a78fcf9

Commits on May 20, 2021

• Update CompCert version for CI from 3.8 to 3.9

  MSoegtropIMC

  committed
  0da1e90

  Copy full SHA for 0da1e90

Commits on Dec 28, 2020

• OPAM: remove manual install and use Makefile

  liyishuai

  committed
  97365a4

  Copy full SHA for 97365a4

Commits on Dec 22, 2020

• CI: GitHub: removed VSUpile (only tested in Travis for the time being)

  MSoegtropIMC

  committed
  6621b9e

  Copy full SHA for 6621b9e

• CI: Fix GitHub actions

  MSoegtropIMC

  committed
  9bb9ca7

  Copy full SHA for 9bb9ca7

Loading