CodeQL Security Analysis · Workflow runs · hyperpolymath/dafniser · GitHub

Actions

All workflows
Workflows
- .github/workflows/secret-scanner.yml .github/workflows/secret-scanner.yml
- .github/workflows/workflow-linter.yml .github/workflows/workflow-linter.yml
- BoJ Server Build Trigger BoJ Server Build Trigger
- Code Quality Code Quality
- CodeQL Security Analysis CodeQL Security Analysis
- Guix/Nix Package Policy Guix/Nix Package Policy
- Hypatia Security Scan Hypatia Security Scan
- Instant Sync Instant Sync
- Mirror to Git Forges Mirror to Git Forges
- NPM/Bun Blocker NPM/Bun Blocker
Management
- Caches

CodeQL Security Analysis

Actions

Loading...
Loading

14 workflow runs

14 workflow runs

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