Skip to content

Actions: PeaceFounder/SigmaProofs.jl

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

parser fix revert Workflow for Codecov example-julia #22: Commit cd573bb pushed by JanisErdmanis
1m 10s main
main
1m 10s
TagBot trigger issue TagBot #8: Issue comment #1 (comment) created by JuliaTagBot
25s
25s
fixing serializer bugs Workflow for Codecov example-julia #21: Commit f464d88 pushed by JanisErdmanis
1m 5s main
main
1m 5s
TagBot trigger issue TagBot #7: Issue comment #1 (comment) created by JuliaTagBot
25s
25s
adding witness to prove kwarg Workflow for Codecov example-julia #20: Commit 4487c62 pushed by JanisErdmanis
1m 5s main
main
1m 5s
updating docs Workflow for Codecov example-julia #19: Commit b049c6c pushed by JanisErdmanis
1m 8s main
main
1m 8s
updating docs Workflow for Codecov example-julia #18: Commit 1ae2b87 pushed by JanisErdmanis
1m 17s main
main
1m 17s
updating docs Workflow for Codecov example-julia #17: Commit 6f3f1bc pushed by JanisErdmanis
1m 4s main
main
1m 4s
updating docs Workflow for Codecov example-julia #16: Commit b5609de pushed by JanisErdmanis
1m 6s main
main
1m 6s
TagBot trigger issue TagBot #6: Issue comment #1 (comment) created by JuliaTagBot
32s
32s
Workflow for Codecov example-julia Workflow for Codecov example-julia #15: by JanisErdmanis
1m 12s main
main
1m 12s
TagBot trigger issue TagBot #5: Issue comment #1 (comment) created by JuliaTagBot
28s
28s
small cleanup Workflow for Codecov example-julia #14: Commit 82374ab pushed by JanisErdmanis
1m 3s main
main
1m 3s
TagBot trigger issue TagBot #4: Issue comment #1 (comment) created by JuliaTagBot
26s
26s
optimizing and refactoring parser and generator basis Workflow for Codecov example-julia #13: Commit 96cd3cc pushed by JanisErdmanis
1m 6s main
main
1m 6s
TagBot trigger issue TagBot #3: Issue comment #1 (comment) created by JuliaTagBot
32s
32s
adding group type for proposition deserialization Workflow for Codecov example-julia #12: Commit 8a81924 pushed by JanisErdmanis
1m 10s main
main
1m 10s
TagBot trigger issue TagBot #2: Issue comment #1 (comment) created by JuliaTagBot
30s
30s
bump a minor release Workflow for Codecov example-julia #11: Commit 01dfa96 pushed by JanisErdmanis
45s main
main
45s
protInfo fix Workflow for Codecov example-julia #10: Commit f39f6a8 pushed by JanisErdmanis
1m 18s main
main
1m 18s
TagBot trigger issue TagBot #1: Issue comment #1 (comment) created by JuliaTagBot
26s
26s
implementing secret sharing Workflow for Codecov example-julia #9: Commit 0f0ed50 pushed by JanisErdmanis
1m 9s main
main
1m 9s
updating compat Workflow for Codecov example-julia #8: Commit 4941efe pushed by JanisErdmanis
1m 15s main
main
1m 15s
writing readme draft Workflow for Codecov example-julia #7: Commit 463a418 pushed by JanisErdmanis
1m 9s main
main
1m 9s
fixing range proofs Workflow for Codecov example-julia #6: Commit c814e4c pushed by JanisErdmanis
1m 2s main
main
1m 2s