programmerjake
0 followers · 1 following
  • Joined on 2024-07-08
Repositories
4
 Projects Packages Public activity Starred repositories
programmerjake opened issue libre-chip/grant-tracking#3 2025-08-26 06:23:51 +00:00
NLnet 2024-12-324 Write the code to do the translation in Fayalite.
programmerjake pushed to add-structure at programmerjake/grant-tracking 2025-08-26 06:03:05 +00:00
fbdcceaea2 add checks for forgejo issues and projects
d02476d925 link to issue and project
Compare 2 commits »
programmerjake opened issue libre-chip/grant-tracking#2 2025-08-26 02:28:40 +00:00
NLnet 2024-12-324 Figure out how exactly we should represent HDL in Rocq
programmerjake commented on pull request libre-chip/grant-tracking#1 2025-08-25 08:48:43 +00:00
fill out grant tracking structure

ok, now CI runs and the only failure is that all the issue numbers aren't filled in (since I'm waiting on @cesar's response before I create all the issues)

programmerjake pushed to add-structure at programmerjake/grant-tracking 2025-08-25 08:46:33 +00:00
c54a130dac fill out grant tracking structure
programmerjake pushed to add-structure at programmerjake/grant-tracking 2025-08-25 08:43:38 +00:00
c5f280d156 fill out grant tracking structure
programmerjake pushed to add-structure at programmerjake/grant-tracking 2025-08-25 08:41:41 +00:00
27723f24dd fill out grant tracking structure
programmerjake created pull request libre-chip/grant-tracking#1 2025-08-25 08:40:46 +00:00
fill out grant tracking structure
programmerjake created branch add-structure in programmerjake/grant-tracking 2025-08-25 08:31:49 +00:00
programmerjake pushed to add-structure at programmerjake/grant-tracking 2025-08-25 08:31:49 +00:00
484e756427 fill out grant tracking structure
programmerjake created repository programmerjake/grant-tracking 2025-08-25 08:31:19 +00:00
programmerjake pushed to master at libre-chip/cpu 2025-08-25 02:25:15 +00:00
00ddd602c5 format code
b969249f5f switch to edition 2024
aa50ae543e upgrade to rust 1.89.0
7de7d5435a make forgejo actions actually run
Compare 4 commits »
programmerjake deleted branch update-to-edition-2024 from libre-chip/cpu 2025-08-25 02:25:15 +00:00
programmerjake pushed to update-to-edition-2024 at libre-chip/cpu 2025-08-25 02:23:10 +00:00
00ddd602c5 format code
b969249f5f switch to edition 2024
aa50ae543e upgrade to rust 1.89.0
Compare 3 commits »
programmerjake created branch update-to-edition-2024 in libre-chip/cpu 2025-08-25 01:51:52 +00:00
programmerjake pushed to update-to-edition-2024 at libre-chip/cpu 2025-08-25 01:51:52 +00:00
7de7d5435a make forgejo actions actually run
programmerjake pushed to master at libre-chip/fayalite 2025-08-25 00:03:14 +00:00
4008c311bf format code after switching to edition 2024
ef85d11327 try to get actions to run
ae7c4be9dc remove get_many_mut since it was stabilized in std as get_disjoint_mut
65f9ab32f4 switch to edition 2024
67e66ac3bd upgrade to rust 1.89.0
Compare 5 commits »
programmerjake deleted branch edition-2024 from programmerjake/fayalite 2025-08-25 00:03:14 +00:00
programmerjake merged pull request libre-chip/fayalite#34 2025-08-25 00:03:12 +00:00
Upgrade to rust 1.89.0 and Edition 2024
programmerjake pushed to edition-2024 at programmerjake/fayalite 2025-08-24 23:35:47 +00:00
4008c311bf format code after switching to edition 2024