| commit | b8a272a1d506d200e1af2b9cef1049ffc31896bd | |
| author | Mikolaj Konarski <mikolaj@well-typed.com> | |
| Thu, 24 Feb 2022 08:23:56 +0000 (24 09:23 +0100) | ||
| committer | GitHub <noreply@github.com> | |
| Thu, 24 Feb 2022 08:23:56 +0000 (24 09:23 +0100) | ||
| tree | 63a5746325fc8c1fd888afaa524b43f5f86d625f | treesnapshot (tar.gz zip) |
| parent | 866743275fc7579ff25de27fd06bd36e438741fe | commitdiff |
| parent | d7b25a2374a6a54ceff476e84fd52911ae65a44b | commitdiff |
Merge pull request #8000 from jneira/post-remove-ci-templates
Post remove ci templates
Post remove ci templates