Skip to content

Actions: bloxbean/julc

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
308 workflow runs
308 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
Revise project status and warnings in README Build & Test #208: Commit ad5d956 pushed by satran004
6m 22s main
main
6m 22s
Merge pull request #86 from bloxbean/feat/typed_verified_dsl Build & Test #207: Commit bcfc3c7 pushed by satran004
6m 18s main
main
6m 18s
Merge pull request #86 from bloxbean/feat/typed_verified_dsl Blaster Verification #38: Commit bcfc3c7 pushed by satran004
5m 43s main
main
5m 43s
feat(verification): add experimental typed property DSL Build & Test #206: Pull request #86 synchronize by satran004
6m 0s feat/typed_verified_dsl
feat/typed_verified_dsl
6m 0s
feat(verification): add experimental typed property DSL Blaster Verification #37: Pull request #86 synchronize by satran004
5m 27s feat/typed_verified_dsl
feat/typed_verified_dsl
5m 27s
fix(verification): refresh DSL evidence for strict boundaries Blaster Verification #36: Commit 1b0b859 pushed by satran004
6m 23s feat/typed_verified_dsl
feat/typed_verified_dsl
6m 23s
feat(verification): add experimental typed property DSL Blaster Verification #35: Pull request #86 synchronize by satran004
5m 40s feat/typed_verified_dsl
feat/typed_verified_dsl
5m 40s
feat(verification): add experimental typed property DSL Build & Test #205: Pull request #86 synchronize by satran004
4m 51s feat/typed_verified_dsl
feat/typed_verified_dsl
4m 51s
fix(verification): adapt DSL to purpose-indexed schemas Blaster Verification #34: Commit 80683d0 pushed by satran004
6m 35s feat/typed_verified_dsl
feat/typed_verified_dsl
6m 35s
feat(verification): add experimental typed property DSL Build & Test #204: Pull request #86 opened by satran004
5m 15s feat/typed_verified_dsl
feat/typed_verified_dsl
5m 15s
feat(verification): add experimental typed property DSL Blaster Verification #33: Pull request #86 opened by satran004
6m 49s feat/typed_verified_dsl
feat/typed_verified_dsl
6m 49s
Merge branch 'main' into feat/typed_verified_dsl Blaster Verification #32: Commit 6a58b34 pushed by satran004
7m 9s feat/typed_verified_dsl
feat/typed_verified_dsl
7m 9s
Merge pull request #85 from bloxbean/chore/verification_message Blaster Verification #31: Commit 321669b pushed by satran004
5m 18s main
main
5m 18s
Merge pull request #85 from bloxbean/chore/verification_message Build & Test #203: Commit 321669b pushed by satran004
6m 2s main
main
6m 2s
feat(verification): show CLI progress during proof runs Build & Test #202: Pull request #85 synchronize by satran004
5m 16s chore/verification_message
chore/verification_message
5m 16s
feat(verification): show CLI progress during proof runs Blaster Verification #30: Pull request #85 synchronize by satran004
6m 42s chore/verification_message
chore/verification_message
6m 42s
fix(verification): keep progress verdicts accurate Blaster Verification #29: Commit 14c60ed pushed by satran004
5m 15s chore/verification_message
chore/verification_message
5m 15s
feat(verification): show CLI progress during proof runs Blaster Verification #28: Pull request #85 opened by satran004
6m 3s chore/verification_message
chore/verification_message
6m 3s
feat(verification): show CLI progress during proof runs Build & Test #201: Pull request #85 opened by satran004
5m 46s chore/verification_message
chore/verification_message
5m 46s
feat(verification): report CLI progress Blaster Verification #27: Commit fa4e20d pushed by satran004
6m 9s chore/verification_message
chore/verification_message
6m 9s
Merge pull request #84 from bloxbean/feat/purpose-indexed-multivalida… Build & Test #200: Commit 62d77cb pushed by satran004
6m 8s main
main
6m 8s
Merge pull request #84 from bloxbean/feat/purpose-indexed-multivalida… Blaster Verification #26: Commit 62d77cb pushed by satran004
6m 42s main
main
6m 42s
feat(blueprint): add purpose-indexed validator interfaces Blaster Verification #25: Pull request #84 reopened by satran004
6m 46s feat/purpose-indexed-multivalidator-blueprints
feat/purpose-indexed-multivalidator-blueprints
6m 46s
feat(blueprint): add purpose-indexed validator interfaces Build & Test #199: Pull request #84 reopened by satran004
6m 20s feat/purpose-indexed-multivalidator-blueprints
feat/purpose-indexed-multivalidator-blueprints
6m 20s
Merge pull request #83 from bloxbean/feat/strict-data-boundaries Build & Test #198: Commit 4a04fcb pushed by satran004
6m 13s main
main
6m 13s