PR Summary · Workflow runs · NethermindEth/ArkLibFri · GitHub

Actions

All workflows
Workflows
- .github/workflows/check-imports.yml .github/workflows/check-imports.yml
- .github/workflows/ci.yml .github/workflows/ci.yml
- .github/workflows/docs-integrity.yml .github/workflows/docs-integrity.yml
- .github/workflows/docs.yml .github/workflows/docs.yml
- .github/workflows/lint-whitespaces.yml .github/workflows/lint-whitespaces.yml
- CodeQL CodeQL
- Compile blueprint Compile blueprint
- Dependabot Updates Dependabot Updates
- Lean Action CI Lean Action CI
- PR Summary PR Summary
Management
- Caches

PR Summary

Actions

Loading...
Loading

19 workflow runs

19 workflow runs

Ferinko/elijah vlasov/fri soundness PR Summary #19: Pull request #37 synchronize by Ferinko

26s

26s

Ferinko/elijah vlasov/fri soundness PR Summary #18: Pull request #37 synchronize by Julek

23s

23s

Ferinko/elijah vlasov/fri soundness PR Summary #17: Pull request #37 synchronize by Ferinko

23s

23s

Ferinko/elijah vlasov/fri soundness PR Summary #16: Pull request #37 synchronize by Ferinko

30s

30s

Ferinko/elijah vlasov/fri soundness PR Summary #15: Pull request #37 synchronize by Ferinko

22s

22s

Ferinko/elijah vlasov/fri soundness PR Summary #14: Pull request #37 synchronize by Ferinko

26s

26s

Ferinko/elijah vlasov/fri soundness PR Summary #13: Pull request #37 synchronize by Ferinko

26s

26s

Ferinko/elijah vlasov/fri soundness PR Summary #12: Pull request #37 synchronize by Ferinko

25s

25s

Ferinko/elijah vlasov/fri soundness PR Summary #11: Pull request #37 synchronize by Ferinko

27s

27s

Ferinko/elijah vlasov/fri soundness PR Summary #10: Pull request #37 opened by Ferinko

25s

25s

section 6 and 7 PR Summary #9: Pull request #36 opened by Ferinko

25s

25s

finish proximitygap, do bivariate PR Summary #8: Pull request #35 synchronize by Julek

29s

29s

finish proximitygap, do bivariate PR Summary #7: Pull request #35 synchronize by Ferinko

31s

31s

finish proximitygap, do bivariate PR Summary #6: Pull request #35 opened by Ferinko

33s

33s

Ferinko/elijah vlasov/section5 r PR Summary #5: Pull request #32 synchronize by Ferinko

28s

28s

Ferinko/elijah vlasov/section5 r PR Summary #4: Pull request #32 synchronize by Ferinko

25s

25s

Ferinko/elijah vlasov/section5 r PR Summary #3: Pull request #32 synchronize by Ferinko

28s

28s

Ferinko/elijah vlasov/section5 r PR Summary #2: Pull request #32 opened by Ferinko

23s

23s

Post-merge fixes PR Summary #1: Commit a7360b9 pushed by ElijahVlasov

Failure ElijahVlasov/section5

ElijahVlasov/section5

Failure