 mergify[bot]
|
90210b7402
|
Merge pull request #82 from gvolpe/update/metals-latest-snapshot
Update Metals to latest snapshot
|
2022-11-11 08:15:56 +00:00 |
|
|
gvolpe
|
570f63314f
|
Update metals to latest version
|
2022-11-11 08:08:19 +00:00 |
|
|
mergify[bot]
|
876b46e21c
|
Merge pull request #81 from gvolpe/update/metals-latest-snapshot
Update Metals to latest snapshot
|
2022-11-10 08:17:08 +00:00 |
|
|
gvolpe
|
2f522a2254
|
Update metals to latest version
|
2022-11-10 08:08:29 +00:00 |
|
|
mergify[bot]
|
56d9e5517d
|
Merge pull request #80 from gvolpe/update/metals-latest-snapshot
Update Metals to latest snapshot
|
2022-11-09 08:18:14 +00:00 |
|
|
gvolpe
|
26c50ab9f8
|
Update metals to latest version
|
2022-11-09 08:09:31 +00:00 |
|
|
Gabriel Volpe
|
b8159b964d
|
lsp: disable sql
|
2022-11-08 09:23:00 +01:00 |
|
|
Gabriel Volpe
|
7fa4b5a727
|
add nautilus master overlay for testing with gtk4
|
2022-11-08 09:22:48 +01:00 |
|
|
mergify[bot]
|
ef6dc105e4
|
Merge pull request #79 from gvolpe/update/metals-latest-snapshot
Update Metals to latest snapshot
|
2022-11-08 08:17:21 +00:00 |
|
|
gvolpe
|
b54d508605
|
Update metals to latest version
|
2022-11-08 08:09:05 +00:00 |
|
|
mergify[bot]
|
93fa1ed9a3
|
Merge pull request #78 from gvolpe/update/metals-latest-snapshot
Update Metals to latest snapshot
|
2022-11-07 08:16:03 +00:00 |
|
|
gvolpe
|
fefd1cdc23
|
Update metals to latest version
|
2022-11-07 08:08:24 +00:00 |
|
|
mergify[bot]
|
33359cea92
|
Merge pull request #77 from gvolpe/update/metals-latest-snapshot
Update Metals to latest snapshot
|
2022-11-05 08:16:55 +00:00 |
|
|
gvolpe
|
5a6c355bf4
|
Update metals to latest version
|
2022-11-05 08:08:03 +00:00 |
|
|
mergify[bot]
|
1e0e7c80b2
|
Merge pull request #76 from gvolpe/update/metals-latest-snapshot
Update Metals to latest snapshot
|
2022-11-04 08:17:11 +00:00 |
|
|
gvolpe
|
64fc0c6638
|
Update metals to latest version
|
2022-11-04 08:08:07 +00:00 |
|
|
mergify[bot]
|
5aabb44f68
|
Merge pull request #75 from gvolpe/update/metals-latest-snapshot
Update Metals to latest snapshot
|
2022-11-03 08:16:37 +00:00 |
|
|
gvolpe
|
2db654155e
|
Update metals to latest version
|
2022-11-03 08:07:54 +00:00 |
|
|
mergify[bot]
|
a4cebc1e4c
|
Merge pull request #74 from gvolpe/update/metals-latest-snapshot
Update Metals to latest snapshot
|
2022-11-02 08:16:15 +00:00 |
|
|
gvolpe
|
8cb0265059
|
Update metals to latest version
|
2022-11-02 08:08:42 +00:00 |
|
|
mergify[bot]
|
f0412a7e7c
|
Merge pull request #73 from gvolpe/update/metals-latest-snapshot
Update Metals to latest snapshot
|
2022-11-01 08:19:10 +00:00 |
|
|
gvolpe
|
b41db836c4
|
Update metals to latest version
|
2022-11-01 08:09:04 +00:00 |
|
|
mergify[bot]
|
365f388061
|
Merge pull request #72 from gvolpe/update/metals-latest-snapshot
Update Metals to latest snapshot
|
2022-10-31 08:17:33 +00:00 |
|
|
gvolpe
|
117685a7f9
|
Update metals to latest version
|
2022-10-31 08:09:52 +00:00 |
|
|
mergify[bot]
|
e260f73268
|
Merge pull request #71 from gvolpe/update/metals-latest-snapshot
Update Metals to latest snapshot
|
2022-10-29 08:15:54 +00:00 |
|
|
gvolpe
|
323ffa8482
|
Update metals to latest version
|
2022-10-29 08:08:15 +00:00 |
|
|
mergify[bot]
|
8400f8a537
|
Merge pull request #70 from gvolpe/update/metals-latest-snapshot
Update Metals to latest snapshot
|
2022-10-28 08:16:37 +00:00 |
|
|
gvolpe
|
191690cb1a
|
Update metals to latest version
|
2022-10-28 08:08:18 +00:00 |
|
|
mergify[bot]
|
de6f35e733
|
Merge pull request #69 from gvolpe/update/metals-latest-snapshot
Update Metals to latest snapshot
|
2022-10-27 08:16:05 +00:00 |
|
|
gvolpe
|
0f064c799c
|
Update metals to latest version
|
2022-10-27 08:08:47 +00:00 |
|
|
Gabriel Volpe
|
15c19f6344
|
system: enable sysprof service for profiling
|
2022-10-26 10:28:31 +02:00 |
|
|
mergify[bot]
|
f5d188827e
|
Merge pull request #68 from gvolpe/update/metals-latest-snapshot
Update Metals to latest snapshot
|
2022-10-26 08:17:04 +00:00 |
|
|
gvolpe
|
8501a1e74e
|
Update metals to latest version
|
2022-10-26 08:08:39 +00:00 |
|
|
Gabriel Volpe
|
b292204463
|
nautilus: re-enable overlay with gtk4 patches
|
2022-10-26 09:10:45 +02:00 |
|
|
Gabriel Volpe
|
397c9a8566
|
nautilus: revert to gtk3 version (gtk4 version is super slow)
|
2022-10-25 18:19:05 +02:00 |
|
|
Gabriel Volpe
|
e28a220d00
|
scripts: make hcr a regular script to immediately report changes after a switch
|
2022-10-25 15:27:27 +02:00 |
|
|
Gabriel Volpe
|
e7c9f99931
|
Merge pull request #67 from gvolpe/flakes/update-25-10-2022
flakes: update to Oct 25, 2022
|
2022-10-25 14:54:44 +02:00 |
|
|
Gabriel Volpe
|
bafbcc7f80
|
flakes: update to Oct 25, 2022
|
2022-10-25 14:26:13 +02:00 |
|
|
Gabriel Volpe
|
90fec74547
|
add hm changes report activation script using nvd
|
2022-10-25 13:09:53 +02:00 |
|
|
mergify[bot]
|
350cc3834d
|
Merge pull request #66 from gvolpe/update/metals-latest-snapshot
Update Metals to latest snapshot
|
2022-10-25 08:19:19 +00:00 |
|
|
gvolpe
|
5dae828b50
|
Update metals to latest version
|
2022-10-25 08:12:46 +00:00 |
|
|
mergify[bot]
|
7c94650e23
|
Merge pull request #65 from gvolpe/update/metals-latest-snapshot
Update Metals to latest snapshot
|
2022-10-22 08:15:07 +00:00 |
|
|
gvolpe
|
26549a4490
|
Update metals to latest version
|
2022-10-22 08:08:38 +00:00 |
|
|
mergify[bot]
|
a662f65ca6
|
Merge pull request #64 from gvolpe/update/metals-latest-snapshot
Update Metals to latest snapshot
|
2022-10-21 08:16:45 +00:00 |
|
|
gvolpe
|
a729f91fbb
|
Update metals to latest version
|
2022-10-21 08:08:57 +00:00 |
|
|
mergify[bot]
|
5a221fb1cb
|
Merge pull request #63 from gvolpe/update/metals-latest-snapshot
Update Metals to latest snapshot
|
2022-10-20 08:17:04 +00:00 |
|
|
gvolpe
|
987b76956f
|
Update metals to latest version
|
2022-10-20 08:09:04 +00:00 |
|
|
mergify[bot]
|
76b331f93a
|
Merge pull request #62 from gvolpe/update/metals-latest-snapshot
Update Metals to latest snapshot
|
2022-10-19 08:20:28 +00:00 |
|
|
gvolpe
|
17e1397a1f
|
Update metals to latest version
|
2022-10-19 08:14:19 +00:00 |
|
|
mergify[bot]
|
a47cdbe47f
|
Merge pull request #61 from gvolpe/update/metals-latest-snapshot
Update Metals to latest snapshot
|
2022-10-18 08:19:40 +00:00 |
|