projects / nmigen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c30dcea) | patch
CI: fix sri-csl/formal-methods PPA series.
authorwhitequark <whitequark@whitequark.org>
Thu, 18 Mar 2021 23:56:52 +0000 (23:56 +0000)
committerwhitequark <whitequark@whitequark.org>
Fri, 19 Mar 2021 00:02:02 +0000 (00:02 +0000)
commitc84d4aff6ef62ebf7f06728bd04754bc298fddca
treeffd96db7d75bb0170c4cbd7ecd688273fd6aa1eatree
parentc30dcea24de4dfa926345513a89f75eb4ed7c7d1commit | diff
CI: fix sri-csl/formal-methods PPA series.

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