Code

switch to Docker Action CI for 8.18#168

Code

Merged

lukaszcz merged 1 commit intolukaszcz:coq8.18lukaszcz/coqhammer:coq8.18from palmskog:coq8.18+actions-cipalmskog/coqhammer:coq8.18+actions-ciCopy head branch name to clipboardNov 11, 2023

+51-51

Commits

Commits on Nov 7, 2023

• switch to Docker Action CI for 8.18

  palmskog

  committed
  b2a1b94

  Copy full SHA for b2a1b94