Skip to content

Actions: hyperpolymath/dafniser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add casket pages workflow CodeQL Security Analysis #18: Commit 0fffb6a pushed by hyperpolymath
18m 33s main
main
18m 33s
CodeQL Security Analysis CodeQL Security Analysis #17: Scheduled
37s main
main
37s
feat: add stapeln.toml layer-based container definition\n\nConverted … CodeQL Security Analysis #16: Commit 0b5b731 pushed by hyperpolymath
1h 25m 15s main
main
1h 25m 15s
chore: add UX infrastructure (quickstart, doctor, setup) CodeQL Security Analysis #15: Commit 54bbc51 pushed by hyperpolymath
29m 47s main
main
29m 47s
chore: add Stapeln selur-compose.toml service definition CodeQL Security Analysis #14: Commit aaf3f61 pushed by hyperpolymath
1h 2m 9s main
main
1h 2m 9s
chore: add agent_instructions methodology layer CodeQL Security Analysis #13: Commit 4cacc02 pushed by hyperpolymath
33m 31s main
main
33m 31s
chore: fix, Rust, lint/fmt, issues CodeQL Security Analysis #12: Commit fe825e9 pushed by hyperpolymath
7m 45s main
main
7m 45s
CodeQL Security Analysis CodeQL Security Analysis #11: Scheduled
31s main
main
31s
docs: add EXPLAINME.adoc — prove-it file backing README claims CodeQL Security Analysis #10: Commit 7f87fbd pushed by hyperpolymath
14m 39s main
main
14m 39s
chore: batch RSR compliance — SPDX headers, SHA-pin actions, forbid(u… CodeQL Security Analysis #9: Commit bbc34d4 pushed by hyperpolymath
3m 23s main
main
3m 23s
fix: rename .github/README.adoc to DIRECTORY.adoc CodeQL Security Analysis #8: Commit 7cc5cf5 pushed by hyperpolymath
56s main
main
56s
fix: use license-file for crates.io compatibility CodeQL Security Analysis #7: Commit 7042a2d pushed by hyperpolymath
42s main
main
42s
chore(rsr): compliance sweep — STATE, contractiles, CHANGELOG, Justfile CodeQL Security Analysis #6: Commit 59a3d79 pushed by hyperpolymath
1m 41s main
main
1m 41s
feat: dafniser Phase 1 — spec parser, Dafny codegen, verification com… CodeQL Security Analysis #5: Commit 125b37f pushed by hyperpolymath
37s main
main
37s
docs: bespoke architecture, roadmap, topology, and ABI definitions fo… CodeQL Security Analysis #4: Commit 087eefe pushed by hyperpolymath
35s main
main
35s
chore(floor-raise): add foundational tool integrations CodeQL Security Analysis #3: Commit 04f4275 pushed by hyperpolymath
2m 15s main
main
2m 15s
Complete RSR documentation: placeholders resolved, CLAUDE.md, STATE/E… CodeQL Security Analysis #2: Commit 4374511 pushed by hyperpolymath
46s main
main
46s
Initial commit: Dafniser — Generate correct-by-construction code for … CodeQL Security Analysis #1: Commit 0d2084a pushed by hyperpolymath
1m 12s main
main
1m 12s