projects / feed / packages.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f013af7) | patch
CI: migrate formal checks from CircleCI to GitHub
authorPaul Spooren <mail@aparcar.org>
Fri, 5 Mar 2021 02:52:35 +0000 (16:52 -1000)
committerPaul Spooren <mail@aparcar.org>
Fri, 5 Mar 2021 04:21:01 +0000 (18:21 -1000)
commit1b46af0e594858c7df17f00ee8c3a42e32a76215
tree84b1d0faedee0092f75483708cc7f934199e1c2btree | snapshot
parentf013af726ad76f928d8188712ae21c8f352ce1f1commit | diff
CI: migrate formal checks from CircleCI to GitHub

Run the formal checks like SoB message via the GitHub CI.

Signed-off-by: Paul Spooren <mail@aparcar.org>
.github/workflows/formal.yml [new file with mode: 0644] blob
Mirror of packages feed