Skip to content

Actions: SocioProphet/bsd-proof-program

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
98 workflow runs
98 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
Record Milestone 5 scaffold result Proof apparatus continuous validation #59: Commit 445c7bd pushed by mdheller
15s main
main
15s
Push on main CodeQL #25: by mdheller
1m 6s main
main
1m 6s
Milestone 5: orbit-membership-aware scaffold (#11) Proof apparatus continuous validation #58: Commit e874e65 pushed by mdheller
18s main
main
18s
Milestone 5: orbit-membership-aware scaffold (#11) Milestone 5 orbit scaffold #7: Commit e874e65 pushed by mdheller
21s main
main
21s
Push on main CodeQL #24: by mdheller
1m 6s main
main
1m 6s
Milestone 5: orbit-membership-aware scaffold Proof apparatus continuous validation #57: Pull request #11 reopened by mdheller
20s milestone-5/orbit-membership-scaffold
milestone-5/orbit-membership-scaffold
20s
Milestone 5: orbit-membership-aware scaffold Milestone 5 orbit scaffold #6: Pull request #11 reopened by mdheller
11s milestone-5/orbit-membership-scaffold
milestone-5/orbit-membership-scaffold
11s
Milestone 5: orbit-membership-aware scaffold Milestone 5 orbit scaffold #5: Pull request #11 synchronize by mdheller
15s milestone-5/orbit-membership-scaffold
milestone-5/orbit-membership-scaffold
15s
Trigger Milestone 5 validation with baseline note Proof apparatus continuous validation #56: Commit b663bb3 pushed by mdheller
15s milestone-5/orbit-membership-scaffold
milestone-5/orbit-membership-scaffold
15s
Milestone 5: orbit-membership-aware scaffold Proof apparatus continuous validation #55: Pull request #11 synchronize by mdheller
18s milestone-5/orbit-membership-scaffold
milestone-5/orbit-membership-scaffold
18s
Trigger Milestone 5 validation with baseline note Milestone 5 orbit scaffold #4: Commit b663bb3 pushed by mdheller
15s milestone-5/orbit-membership-scaffold
milestone-5/orbit-membership-scaffold
15s
PR #11 CodeQL #23: by mdheller
1m 12s refs/pull/11/head
refs/pull/11/head
1m 12s
Milestone 5: orbit-membership-aware scaffold Proof apparatus continuous validation #54: Pull request #11 synchronize by mdheller
17s milestone-5/orbit-membership-scaffold
milestone-5/orbit-membership-scaffold
17s
Milestone 5: orbit-membership-aware scaffold Milestone 5 orbit scaffold #3: Pull request #11 synchronize by mdheller
15s milestone-5/orbit-membership-scaffold
milestone-5/orbit-membership-scaffold
15s
Trigger Milestone 5 scaffold validation Proof apparatus continuous validation #53: Commit b5b44fb pushed by mdheller
13s milestone-5/orbit-membership-scaffold
milestone-5/orbit-membership-scaffold
13s
PR #11 CodeQL #22: by mdheller
1m 2s refs/pull/11/head
refs/pull/11/head
1m 2s
Milestone 5: orbit-membership-aware scaffold Proof apparatus continuous validation #52: Pull request #11 opened by mdheller
15s milestone-5/orbit-membership-scaffold
milestone-5/orbit-membership-scaffold
15s
Milestone 5: orbit-membership-aware scaffold Milestone 5 orbit scaffold #2: Pull request #11 opened by mdheller
19s milestone-5/orbit-membership-scaffold
milestone-5/orbit-membership-scaffold
19s
PR #11 CodeQL #21: by mdheller
1m 5s refs/pull/11/head
refs/pull/11/head
1m 5s
Add Milestone 5 orbit scaffold workflow Milestone 5 orbit scaffold #1: Commit 5437029 pushed by mdheller
13s milestone-5/orbit-membership-scaffold
milestone-5/orbit-membership-scaffold
13s
Add Milestone 5 orbit scaffold workflow Proof apparatus continuous validation #51: Commit 5437029 pushed by mdheller
24s milestone-5/orbit-membership-scaffold
milestone-5/orbit-membership-scaffold
24s
Add Milestone 5 scaffold claim to proof adapter Proof apparatus continuous validation #50: Commit 7399adb pushed by mdheller
19s milestone-5/orbit-membership-scaffold
milestone-5/orbit-membership-scaffold
19s
Add Milestone 5 orbit-membership scaffold runner Proof apparatus continuous validation #49: Commit cbaf8d8 pushed by mdheller
23s milestone-5/orbit-membership-scaffold
milestone-5/orbit-membership-scaffold
23s
Add Milestone 5 orbit candidate schema Proof apparatus continuous validation #48: Commit a279a8b pushed by mdheller
17s milestone-5/orbit-membership-scaffold
milestone-5/orbit-membership-scaffold
17s
Add Milestone 5 four-prime baseline Proof apparatus continuous validation #47: Commit dcbf997 pushed by mdheller
11s milestone-5/orbit-membership-scaffold
milestone-5/orbit-membership-scaffold
11s