IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00
Code Issues Packages Projects Releases Wiki Activity
6,376 Commits 5 Branches 109 Tags
c9013a39b80f7c8faf8f87d972504549d2aa6219
Commit Graph

4 Commits

Author SHA1 Message Date
Dave Page
da937e2618 Don't upgrade base images when running tests. 
This takes a lot of time and CPU minutes, and Github keep the images pretty fresh anyway.
 2023-03-30 11:23:57 +01:00
Dave Page
ac4827c33b Don't let actions pile up! 2023-03-29 13:08:53 +01:00
Dave Page
e797eb17eb Cleanup and improve robustness of Github actions. 2023-03-28 14:24:04 +01:00
Dave Page
38f0809858 Add a Github action to check translations look OK. 2023-03-22 16:06:45 +00:00