CodeQL Security Analysis · Workflow runs · hyperpolymath/futharkiser · 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 0688b25 pushed by hyperpolymath

1h 11m 34s main

main

1h 11m 34s

chore: add agent_instructions methodology layer CodeQL Security Analysis #13: Commit d0dbed6 pushed by hyperpolymath

36m 9s main

main

36m 9s

chore: fix, Rust, lint/fmt, issues CodeQL Security Analysis #12: Commit 11b435a pushed by hyperpolymath

13m 1s main

main

13m 1s

CodeQL Security Analysis CodeQL Security Analysis #11: Scheduled

35s main

main

35s

docs: add EXPLAINME.adoc — prove-it file backing README claims CodeQL Security Analysis #10: Commit 0a27b8d pushed by hyperpolymath

20m 25s main

main

20m 25s

chore: batch RSR compliance — SPDX headers, SHA-pin actions, forbid(u… CodeQL Security Analysis #9: Commit 3a35663 pushed by hyperpolymath

6m 46s main

main

6m 46s

fix: rename .github/README.adoc to DIRECTORY.adoc CodeQL Security Analysis #8: Commit 52023cb pushed by hyperpolymath

2m 19s main

main

2m 19s

fix: use license-file for crates.io compatibility CodeQL Security Analysis #7: Commit 2e4b9f5 pushed by hyperpolymath

31s main

main

31s

chore(rsr): compliance sweep — STATE, contractiles, CHANGELOG, Justfile CodeQL Security Analysis #6: Commit 97abfc7 pushed by hyperpolymath

52s main

main

52s

feat: futharkiser Phase 1 — kernel parser, Futhark codegen, GPU backe… CodeQL Security Analysis #5: Commit 64ffce2 pushed by hyperpolymath

36s main

main

36s

Bespoke documentation: Futhark GPU compilation pipeline, Idris2 ABI t… CodeQL Security Analysis #4: Commit 67eda0e pushed by hyperpolymath

40s main

main

40s

chore(floor-raise): add foundational tool integrations CodeQL Security Analysis #3: Commit a1f88a3 pushed by hyperpolymath

3m 34s main

main

3m 34s

Complete RSR documentation: placeholders resolved, CLAUDE.md, STATE/E… CodeQL Security Analysis #2: Commit 9837b26 pushed by hyperpolymath

53s main

main

53s

Initial commit: Futharkiser — Compile annotated array operations to G… CodeQL Security Analysis #1: Commit 6ef95c6 pushed by hyperpolymath

41s main

main

41s