Code

[CI] job testing coq-native#1504

Code

Open

gares wants to merge 4 commits intocoq:mastercoq/opam:masterfrom gares:test-coq-nativegares/opam-coq-archive:test-coq-nativeCopy head branch name to clipboard

+57-8

Commits

Commits on Dec 14, 2020

• allowed to fail job testing coq-native

  gares

  committed
  79164cf

  Copy full SHA for 79164cf

• improve the script to print installed files

  gares

  committed
  b1caa09

  Copy full SHA for b1caa09

• hack to rebuild unimath

  gares

  committed
  0bff4bc

  Copy full SHA for 0bff4bc

• hack recompile fiat parser

  gares

  committed
  a1d8e0c

  Copy full SHA for a1d8e0c