projects / nmigen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c41a520) | patch
CI: fix sri-csl/formal-methods PPA series.
authorwhitequark <whitequark@whitequark.org>
Thu, 18 Mar 2021 23:56:52 +0000 (23:56 +0000)
committerLuke Kenneth Casson Leighton <lkcl@lkcl.net>
Fri, 31 Dec 2021 15:26:50 +0000 (15:26 +0000)
commit2a4ec64abbfb64300d945ea587fc03d34941a492
tree4ad0b9f9b653d1ae78274bc823b24007e9c47f5btree
parentc41a5209634f10c096bfd9aaa9179ae79233b7f7commit | diff
CI: fix sri-csl/formal-methods PPA series.

GHA's Ubuntu has been upgraded to Focal.
.github/workflows/main.yaml diff | blob | history