BEAST_PR comments

Results 26 comments of


                                            BEAST_PR

[Screenshots] Devstream under 'How it Works See It in Action' section

assign this issue to me

Add Mention of Badges Site to Layer5.io Pages

@leecalcote I will solve this issue

[CI] Label Commenter for new GH issue label: "issue/valid"

Could you assign this issue to me

[Screenshots] Azure Active Directory (AAD) under "How it Works See It in Action” section

i want to work on this issue

[Screenshots] Azure Active Directory (AAD) under "How it Works See It in Action” section

@abhijeetgauravm, I hope this message finds you well. I wanted to discuss the process of incorporating a design using MeshMap into our "How It Works" section. To begin, I need...

[Screenshots] Azure Active Directory (AAD) under "How it Works See It in Action” section

Yes got the access and I have updated it but I dont found any dark mode option in that mesh map design

GSoC: jsonschema.lean -- an implementation of JSON Schema in Lean

Hello @benjagm I would love to work on this, would you like to tell me how can i start with this

GSoC: jsonschema.lean -- an implementation of JSON Schema in Lean

Sure

GSoC: jsonschema.lean -- an implementation of JSON Schema in Lean

Hy @Julian I have seen the tutorials and tried Bowtie with Lua and I have some questions 1 do I first need to write a JSON implementation in Lean and...

GSoC: jsonschema.lean -- an implementation of JSON Schema in Lean

Got it but could you please explain what would I have to do right now as I am not getting clear from above