Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
47 changes: 0 additions & 47 deletions .github/workflows/specs-deploy.yml

This file was deleted.

7 changes: 2 additions & 5 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -93,16 +93,13 @@ make proto-lint
1. Install [hadolint](https://github.com/hadolint/hadolint)
1. Install [yamllint](https://yamllint.readthedocs.io/en/stable/quickstart.html)

## Dependency graph

To see our progress and a possible future of Rollkit visit our [Dependency
Graph](https://github.com/rollkit/rollkit/blob/main/specs/src/specs/rollkit-dependency-graph.md).

## Audits

| Date | Auditor | Version | Report |
|---|---|---|---|
| 2024/01/12 | [Informal Systems](https://informal.systems/) | [eccdd...bcb9d](https://github.com/rollkit/rollkit/commit/eccdd0f1793a5ac532011ef4d896de9e0d8bcb9d) | [informal-systems.pdf](specs/audit/informal-systems.pdf) |
| 2024/01/10 | [Binary Builders](https://binary.builders/) | [eccdd...bcb9d](https://github.com/rollkit/rollkit/commit/eccdd0f1793a5ac532011ef4d896de9e0d8bcb9d) | [binary-builders.pdf](specs/audit/binary-builders.pdf) |
| 2024/01/12 | [Informal Systems](https://informal.systems/) | [eccdd...bcb9d](https://github.com/rollkit/rollkit/commit/eccdd0f1793a5ac532011ef4d896de9e0d8bcb9d) | [informal-systems.pdf](docs/audit/informal-systems.pdf) |
| 2024/01/10 | [Binary Builders](https://binary.builders/) | [eccdd...bcb9d](https://github.com/rollkit/rollkit/commit/eccdd0f1793a5ac532011ef4d896de9e0d8bcb9d) | [binary-builders.pdf](docs/audit/binary-builders.pdf) |

[docs]: https://rollkit.dev
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
Original file line number Diff line number Diff line change
Expand Up @@ -436,7 +436,7 @@ Proposed

## References

- [Rollkit Single Sequencer ADR-013](https://github.com/rollkit/rollkit/blob/main/specs/lazy-adr/adr-013-single-sequencer.md)
- [Rollkit Minimal Header ADR-015](https://github.com/rollkit/rollkit/blob/main/specs/lazy-adr/adr-015-rollkit-minimal-header.md)
- [Rollkit Single Sequencer ADR-013](https://github.com/rollkit/rollkit/blob/main/docs/adr/adr-013-single-sequencer.md)
- [Rollkit Minimal Header ADR-015](https://github.com/rollkit/rollkit/blob/main/docs/adr/adr-015-rollkit-minimal-header.md)
- [L2 Beat Stages Framework](https://forum.l2beat.com/t/the-stages-framework/291#p-516-stage-1-requirements-3)
- [GitHub Issue #1914: Add Forced Inclusion Mechanism from the DA layer](https://github.com/rollkit/rollkit/issues/1914)
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
4 changes: 2 additions & 2 deletions scripts/utils.mk
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ lint: vet
@echo "--> Running golangci-lint"
@golangci-lint run
@echo "--> Running markdownlint"
@markdownlint --config .markdownlint.yaml --ignore './specs/src/specs/**.md' '**/*.md'
@markdownlint --config .markdownlint.yaml '**/*.md'
@echo "--> Running hadolint"
@hadolint test/docker/mockserv.Dockerfile
@echo "--> Running yamllint"
Expand All @@ -31,7 +31,7 @@ lint-fix:
@echo "--> Formatting go"
@golangci-lint run --fix
@echo "--> Formatting markdownlint"
@markdownlint --config .markdownlint.yaml --ignore './specs/src/specs/**.md' '**/*.md' -f
@markdownlint --config .markdownlint.yaml --ignore './docs/src/specs/**.md' '**/*.md' -f
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

high

Similar to line 18, the ignore path is incorrect after renaming specs to docs. The docs/src/specs directory does not exist. Update the path to reflect the new directory structure, or remove the --ignore flag if it's no longer needed.

@markdownlint --config .markdownlint.yaml --ignore './docs/src/**.md' '**/*.md' -f

.PHONY: lint-fix

## vet: Run go vet
Expand Down
38 changes: 0 additions & 38 deletions specs/README.md

This file was deleted.

16 changes: 0 additions & 16 deletions specs/book.toml

This file was deleted.

3 changes: 0 additions & 3 deletions specs/src/README.md

This file was deleted.

15 changes: 0 additions & 15 deletions specs/src/SUMMARY.md

This file was deleted.

Loading
Loading