Gabriel Volpe 84dc372f0d revert push changes

2022-09-16 11:49:05 +02:00

..

home.yml

metals: enhance updater script

2022-09-16 11:32:20 +02:00

nixos.yml

update ci rules

2022-09-16 11:32:42 +02:00

update-metals.yml

revert push changes

2022-09-16 11:49:05 +02:00