Skip to content

Actions: SocioProphet/bsd-proof-program

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
249 workflow runs
249 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
chore: advance pins; cite HG-MTH-009 and Heller-Dirac Proof apparatus continuous validation #139: Commit cc3af0a pushed by mdheller
16s main
main
16s
chore: advance pins; cite HG-MTH-009 and Heller-Dirac validate #8: Commit cc3af0a pushed by mdheller
16s main
main
16s
chore: advance pins; cite HG-MTH-009 and Heller-Dirac bsd-proof-program PFK Dependency Validation #5: Commit cc3af0a pushed by mdheller
10s main
main
10s
Push on main CodeQL #83: by mdheller
49s main
main
49s
chore: advance pins; cite HG-MTH-009 and Heller-Dirac Proof apparatus continuous validation #138: Pull request #17 opened by mdheller
9s work/update
work/update
9s
chore: advance pins; cite HG-MTH-009 and Heller-Dirac validate #7: Pull request #17 opened by mdheller
14s work/update
work/update
14s
chore: advance pins; cite HG-MTH-009 and Heller-Dirac bsd-proof-program PFK Dependency Validation #4: Pull request #17 opened by mdheller
8s work/update
work/update
8s
PR #17 CodeQL #82: by mdheller
54s refs/pull/17/head
refs/pull/17/head
54s
docs: update workstream F bridge citation Proof apparatus continuous validation #137: Commit 376e6f8 pushed by mdheller
17s work/update
work/update
17s
docs: update workstream E bridge citation Proof apparatus continuous validation #136: Commit 4f78858 pushed by mdheller
10s work/update
work/update
10s
docs: update workstream D bridge citation Proof apparatus continuous validation #135: Commit b552e9c pushed by mdheller
16s work/update
work/update
16s
docs: update workstream C bridge citation Proof apparatus continuous validation #134: Commit 9ac3574 pushed by mdheller
15s work/update
work/update
15s
docs: update workstream B bridge citation Proof apparatus continuous validation #133: Commit 5ebee4c pushed by mdheller
13s work/update
work/update
13s
docs: update workstream A bridge citation Proof apparatus continuous validation #132: Commit 6d62247 pushed by mdheller
10s work/update
work/update
10s
ci: validate Heller-Godel and Heller-Dirac pins Proof apparatus continuous validation #131: Commit 2126cbc pushed by mdheller
14s work/update
work/update
14s
test: validate Heller-Godel and Heller-Dirac pins Proof apparatus continuous validation #130: Commit 123af7a pushed by mdheller
11s work/update
work/update
11s
docs: add HG-MTH-009 citation anchor Proof apparatus continuous validation #129: Commit 43ee7e9 pushed by mdheller
11s work/update
work/update
11s
docs: advance pins and cite HG-MTH-009 plus Heller-Dirac Proof apparatus continuous validation #128: Commit 012c069 pushed by mdheller
15s work/update
work/update
15s
feat: import BSD program lane v0.1 skeleton; declare Heller-Godel dep… Proof apparatus continuous validation #127: Commit a013760 pushed by mdheller
15s main
main
15s
feat: import BSD program lane v0.1 skeleton; declare Heller-Godel dep… validate #6: Commit a013760 pushed by mdheller
13s main
main
13s
feat: import BSD program lane v0.1 skeleton; declare Heller-Godel dep… bsd-proof-program PFK Dependency Validation #3: Commit a013760 pushed by mdheller
7s main
main
7s
Push on main CodeQL #81: by mdheller
53s main
main
53s
feat: import BSD program lane v0.1 skeleton; declare Heller-Godel dependency Proof apparatus continuous validation #126: Pull request #16 synchronize by mdheller
10s feat/import-bsd-spec-and-declare-dependencies
feat/import-bsd-spec-and-declare-dependencies
10s
feat: import BSD program lane v0.1 skeleton; declare Heller-Godel dependency validate #5: Pull request #16 synchronize by mdheller
13s feat/import-bsd-spec-and-declare-dependencies
feat/import-bsd-spec-and-declare-dependencies
13s
feat: import BSD program lane v0.1 skeleton; declare Heller-Godel dependency bsd-proof-program PFK Dependency Validation #2: Pull request #16 synchronize by mdheller
7s feat/import-bsd-spec-and-declare-dependencies
feat/import-bsd-spec-and-declare-dependencies
7s