Skip to content

Actions: LucidSamuel/scribe

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
94 workflow runs
94 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
circom/R1CS front-end: scribe import-r1cs CI #55: Pull request #19 synchronize by LucidSamuel
1m 44s feat/r1cs-front
feat/r1cs-front
1m 44s
circom/R1CS front-end: scribe import-r1cs Docker #39: Pull request #19 synchronize by LucidSamuel
3m 47s feat/r1cs-front
feat/r1cs-front
3m 47s
circom/R1CS front-end: scribe import-r1cs CI #54: Pull request #19 opened by LucidSamuel
2m 17s feat/r1cs-front
feat/r1cs-front
2m 17s
circom/R1CS front-end: scribe import-r1cs Docker #38: Pull request #19 opened by LucidSamuel
3m 46s feat/r1cs-front
feat/r1cs-front
3m 46s
Merge pull request #18 from LucidSamuel/feat/proof-pilot-crate Docker #37: Commit e2ad750 pushed by LucidSamuel
34m 10s main
main
34m 10s
Merge pull request #18 from LucidSamuel/feat/proof-pilot-crate CI #53: Commit e2ad750 pushed by LucidSamuel
1m 21s main
main
1m 21s
Prepare proof-pilot for crates.io: kernel-arbitrated LLM proof completion for Lean 4 CI #52: Pull request #18 opened by LucidSamuel
1m 23s feat/proof-pilot-crate
feat/proof-pilot-crate
1m 23s
Prepare proof-pilot for crates.io: kernel-arbitrated LLM proof completion for Lean 4 Docker #36: Pull request #18 opened by LucidSamuel
23m 35s feat/proof-pilot-crate
feat/proof-pilot-crate
23m 35s
Merge pull request #17 from LucidSamuel/feat/judge-best-of-n CI #51: Commit 8dad774 pushed by LucidSamuel
2m 20s main
main
2m 20s
Merge pull request #17 from LucidSamuel/feat/judge-best-of-n Docker #35: Commit 8dad774 pushed by LucidSamuel
33m 14s main
main
33m 14s
scribe judge (SOUND / UNSOUND / UNDETERMINED) + best-of-n sampling CI #50: Pull request #17 synchronize by LucidSamuel
1m 25s feat/judge-best-of-n
feat/judge-best-of-n
1m 25s
scribe judge (SOUND / UNSOUND / UNDETERMINED) + best-of-n sampling Docker #34: Pull request #17 synchronize by LucidSamuel
2m 50s feat/judge-best-of-n
feat/judge-best-of-n
2m 50s
scribe judge (SOUND / UNSOUND / UNDETERMINED) + best-of-n sampling Docker #33: Pull request #17 opened by LucidSamuel
2m 45s feat/judge-best-of-n
feat/judge-best-of-n
2m 45s
scribe judge (SOUND / UNSOUND / UNDETERMINED) + best-of-n sampling CI #49: Pull request #17 opened by LucidSamuel
2m 18s feat/judge-best-of-n
feat/judge-best-of-n
2m 18s
Merge pull request #16 from LucidSamuel/feat/scribe-refute CI #48: Commit 2104398 pushed by LucidSamuel
1m 58s main
main
1m 58s
Merge pull request #16 from LucidSamuel/feat/scribe-refute Docker #32: Commit 2104398 pushed by LucidSamuel
24m 44s main
main
24m 44s
scribe refute: the adversarial refuter (verdict engine C4) CI #47: Pull request #16 opened by LucidSamuel
1m 34s feat/scribe-refute
feat/scribe-refute
1m 34s
scribe refute: the adversarial refuter (verdict engine C4) Docker #31: Pull request #16 opened by LucidSamuel
24m 59s feat/scribe-refute
feat/scribe-refute
24m 59s
Merge pull request #14 from LucidSamuel/feat/negative-corpus CI #46: Commit 601d5a1 pushed by LucidSamuel
1m 47s main
main
1m 47s
Merge pull request #14 from LucidSamuel/feat/negative-corpus Docker #30: Commit 601d5a1 pushed by LucidSamuel
30m 24s main
main
30m 24s
scribe refute: the adversarial refuter (verdict engine C4) CI #45: Pull request #15 opened by LucidSamuel
1m 41s feat/scribe-refute
feat/scribe-refute
1m 41s
Grow the negative corpus to five audit-bug classes CI #44: Pull request #14 opened by LucidSamuel
1m 25s feat/negative-corpus
feat/negative-corpus
1m 25s
Grow the negative corpus to five audit-bug classes Docker #29: Pull request #14 opened by LucidSamuel
18s feat/negative-corpus
feat/negative-corpus
18s
Merge pull request #13 from LucidSamuel/docs/variance-run Docker #28: Commit b382088 pushed by LucidSamuel
32s main
main
32s
Merge pull request #13 from LucidSamuel/docs/variance-run CI #43: Commit b382088 pushed by LucidSamuel
1m 52s main
main
1m 52s