Skip to content

Actions: zcash/halo2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
78 workflow runs
78 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #190: by github-pages bot
February 27, 2024 00:38 39s
February 27, 2024 00:38 39s
pages build and deployment pages-build-deployment #189: by github-pages bot
February 26, 2024 23:57 25s
February 26, 2024 23:57 25s
Merge pull request #814 from adria0/fix/mdbook Benchmarks #151: Commit 7df93fd pushed by daira
February 26, 2024 23:50 48m 10s main
main
February 26, 2024 23:50 48m 10s
Merge pull request #814 from adria0/fix/mdbook Beta lints #969: Commit 7df93fd pushed by daira
February 26, 2024 23:50 1m 6s main
main
February 26, 2024 23:50 1m 6s
Merge pull request #814 from adria0/fix/mdbook CI checks #4038: Commit 7df93fd pushed by daira
February 26, 2024 23:50 21m 23s main
main
February 26, 2024 23:50 21m 23s
Merge pull request #814 from adria0/fix/mdbook halo2 book #326: Commit 7df93fd pushed by daira
February 26, 2024 23:50 6m 46s main
main
February 26, 2024 23:50 6m 46s
Fix MD book generation CI checks #4037: Pull request #814 opened by adria0
February 22, 2024 21:39 21m 31s adria0:fix/mdbook
adria0:fix/mdbook
February 22, 2024 21:39 21m 31s
Fix MD book generation Stable lints #1047: Pull request #814 opened by adria0
February 22, 2024 21:39 4m 16s adria0:fix/mdbook
adria0:fix/mdbook
February 22, 2024 21:39 4m 16s
pages build and deployment pages-build-deployment #188: by github-pages bot
February 6, 2024 16:14 36s
February 6, 2024 16:14 36s
Merge pull request #809 from daira/remove-empty-halo2-crate-from-readme Beta lints #968: Commit 81729ec pushed by daira
February 6, 2024 15:25 1m 11s main
main
February 6, 2024 15:25 1m 11s
Merge pull request #809 from daira/remove-empty-halo2-crate-from-readme CI checks #4035: Commit 81729ec pushed by daira
February 6, 2024 15:25 21m 47s main
main
February 6, 2024 15:25 21m 47s
Merge pull request #809 from daira/remove-empty-halo2-crate-from-readme halo2 book #325: Commit 81729ec pushed by daira
February 6, 2024 15:25 5m 30s main
main
February 6, 2024 15:25 5m 30s
Merge pull request #809 from daira/remove-empty-halo2-crate-from-readme Benchmarks #150: Commit 81729ec pushed by daira
February 6, 2024 15:25 48m 18s main
main
February 6, 2024 15:25 48m 18s
Remove references to the empty halo2 crate from the README CI checks #4034: Pull request #809 opened by daira
February 6, 2024 12:55 22m 2s daira:remove-empty-halo2-crate-from-readme
daira:remove-empty-halo2-crate-from-readme
February 6, 2024 12:55 22m 2s
Remove references to the empty halo2 crate from the README Stable lints #1045: Pull request #809 opened by daira
February 6, 2024 12:55 3m 51s daira:remove-empty-halo2-crate-from-readme
daira:remove-empty-halo2-crate-from-readme
February 6, 2024 12:55 3m 51s
pages build and deployment pages-build-deployment #187: by github-pages bot
December 19, 2023 23:32 34s
December 19, 2023 23:32 34s
Merge pull request #802 from daira/book-remove-makefile halo2 book #324: Commit ae52332 pushed by daira
December 19, 2023 22:46 5m 35s main
main
December 19, 2023 22:46 5m 35s
Merge pull request #802 from daira/book-remove-makefile CI checks #4032: Commit ae52332 pushed by daira
December 19, 2023 22:46 21m 36s main
main
December 19, 2023 22:46 21m 36s
Merge pull request #802 from daira/book-remove-makefile Beta lints #967: Commit ae52332 pushed by daira
December 19, 2023 22:46 1m 12s main
main
December 19, 2023 22:46 1m 12s
Merge pull request #802 from daira/book-remove-makefile Benchmarks #149: Commit ae52332 pushed by daira
December 19, 2023 22:46 46m 19s main
main
December 19, 2023 22:46 46m 19s
Zsa functionalities Stable lints #1043: Pull request #769 synchronize by ConstanceBeguier
December 18, 2023 14:47 2m 9s QED-it:zsa_functionalities_upstream
QED-it:zsa_functionalities_upstream
December 18, 2023 14:47 2m 9s
Zsa functionalities CI checks #4031: Pull request #769 synchronize by ConstanceBeguier
December 18, 2023 14:47 17m 33s QED-it:zsa_functionalities_upstream
QED-it:zsa_functionalities_upstream
December 18, 2023 14:47 17m 33s
pages build and deployment pages-build-deployment #186: by github-pages bot
November 29, 2023 22:41 35s
November 29, 2023 22:41 35s
Remove obsolete book Makefile and edithtml.sh Stable lints #1037: Pull request #802 synchronize by daira
November 29, 2023 21:54 5m 12s daira:book-remove-makefile
daira:book-remove-makefile
November 29, 2023 21:54 5m 12s
Remove obsolete book Makefile and edithtml.sh CI checks #4025: Pull request #802 synchronize by daira
November 29, 2023 21:54 27m 47s daira:book-remove-makefile
daira:book-remove-makefile
November 29, 2023 21:54 27m 47s