Skip to content

Actions: sigma-rs/sigma-proofs

Actions

Linter and Formatter

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint-fmt.yml
245 workflow runs
245 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat(fiat-shamir): absorb morphism structure into transcript codec Linter and Formatter #21: Pull request #15 opened by Chausseaumoine
31s Chausseaumoine:feat/absorb-morphism-transcript
Chausseaumoine:feat/absorb-morphism-transcript
31s
Refactor of morphism construction for more concise definition of statements Linter and Formatter #20: Pull request #12 synchronize by nategraf
37s victor/branch-1
victor/branch-1
37s
Refactor of morphism construction for more concise definition of statements Linter and Formatter #19: Pull request #12 synchronize by nategraf
36s victor/branch-1
victor/branch-1
36s
Refactor of morphism construction for more concise definition of statements Linter and Formatter #18: Pull request #12 synchronize by nategraf
34s victor/branch-1
victor/branch-1
34s
Refactor of morphism construction for more concise definition of statements Linter and Formatter #17: Pull request #12 synchronize by nategraf
33s victor/branch-1
victor/branch-1
33s
Refactor of morphism construction for more concise definition of statements Linter and Formatter #16: Pull request #12 synchronize by nategraf
32s victor/branch-1
victor/branch-1
32s
Refactor of morphism construction for more concise definition of statements Linter and Formatter #15: Pull request #12 synchronize by nategraf
33s victor/branch-1
victor/branch-1
33s
Refactor of morphism construction for more concise definition of statements Linter and Formatter #14: Pull request #12 synchronize by nategraf
39s victor/branch-1
victor/branch-1
39s
Refactor of morphism construction for more concise definition of statements Linter and Formatter #13: Pull request #12 synchronize by nategraf
35s victor/branch-1
victor/branch-1
35s
Refactor of morphism construction for more concise definition of statements Linter and Formatter #12: Pull request #12 synchronize by nategraf
40s victor/branch-1
victor/branch-1
40s
Refactor of morphism construction for more concise definition of statements Linter and Formatter #11: Pull request #12 synchronize by nategraf
32s victor/branch-1
victor/branch-1
32s
Refactor of morphism construction for more concise definition of statements Linter and Formatter #10: Pull request #12 synchronize by nategraf
33s victor/branch-1
victor/branch-1
33s
Refactor of morphism construction for more concise definition of statements Linter and Formatter #9: Pull request #12 opened by nategraf
43s victor/branch-1
victor/branch-1
43s
refactor(modules): avoid public re-exports of all data. Linter and Formatter #8: Pull request #11 opened by mmaker
23s fix/imports
fix/imports
23s
added documentation Linter and Formatter #7: Pull request #8 synchronize by MariaGhandour
43s MariaGhandour:documentation_update
MariaGhandour:documentation_update
43s
Add hyperlinks to structs in documentation and format code with cargo fmt Linter and Formatter #6: Pull request #9 synchronize by MariaGhandour
32s documentation_update
documentation_update
32s
added documentation Linter and Formatter #5: Pull request #8 synchronize by MariaGhandour
29s MariaGhandour:documentation_update
MariaGhandour:documentation_update
29s
Add hyperlinks to structs in documentation and format code with cargo fmt Linter and Formatter #4: Pull request #9 synchronize by MariaGhandour
32s documentation_update
documentation_update
32s
added documentation Linter and Formatter #3: Pull request #8 synchronize by MariaGhandour
42s MariaGhandour:documentation_update
MariaGhandour:documentation_update
42s
Add hyperlinks to structs in documentation and format code with cargo fmt Linter and Formatter #2: Pull request #9 opened by MariaGhandour
43s documentation_update
documentation_update
43s
ProTip! You can narrow down the results and go further in time using created:<2025-05-30 or the other filters available.