Skip to content

Actions: voxgig/struct

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
570 workflow runs
570 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
Security & Static Analysis Security & Static Analysis #126: Scheduled
3m 5s main
main
3m 5s
Scheduled CodeQL #122: by github-advanced-security AI
13m 57s main
main
13m 57s
Security & Static Analysis Security & Static Analysis #125: Scheduled
3m 11s main
main
3m 11s
corpus: model sources renamed .jsonic -> .aontu; @voxgig/model 9 Build and Test #243: Commit 35ddb58 pushed by rjrodger
15m 48s main
main
15m 48s
corpus: model sources renamed .jsonic -> .aontu; @voxgig/model 9 Security & Static Analysis #124: Commit 35ddb58 pushed by rjrodger
4m 28s main
main
4m 28s
corpus: model sources renamed .jsonic -> .aontu; @voxgig/model 9 Lint #113: Commit 35ddb58 pushed by rjrodger
4m 24s main
main
4m 24s
Push on main CodeQL #121: by rjrodger
14m 55s main
main
14m 55s
Scheduled CodeQL #120: by github-advanced-security AI
16m 2s main
main
16m 2s
Merge pull request #82 from voxgig/claude/lean-language-support-tbhjuf Build and Test #242: Commit ff5348a pushed by rjrodger
15m 6s main
main
15m 6s
Merge pull request #82 from voxgig/claude/lean-language-support-tbhjuf Security & Static Analysis #123: Commit ff5348a pushed by rjrodger
4m 8s main
main
4m 8s
Merge pull request #82 from voxgig/claude/lean-language-support-tbhjuf Lint #112: Commit ff5348a pushed by rjrodger
5m 22s main
main
5m 22s
Push on main CodeQL #119: by rjrodger
15m 18s main
main
15m 18s
Rename the aql target to boru Security & Static Analysis #122: Pull request #82 opened by rjrodger
4m 12s claude/lean-language-support-tbhjuf
claude/lean-language-support-tbhjuf
4m 12s
Rename the aql target to boru Lint #111: Pull request #82 opened by rjrodger
6m 19s claude/lean-language-support-tbhjuf
claude/lean-language-support-tbhjuf
6m 19s
Rename the aql target to boru Build and Test #241: Pull request #82 opened by rjrodger
16m 4s claude/lean-language-support-tbhjuf
claude/lean-language-support-tbhjuf
16m 4s
PR #82 CodeQL #118: by rjrodger
31m 11s refs/pull/82/head
refs/pull/82/head
31m 11s
Merge pull request #81 from voxgig/claude/lean-language-support-tbhjuf Build and Test #240: Commit 5af2d87 pushed by rjrodger
11m 47s main
main
11m 47s
Merge pull request #81 from voxgig/claude/lean-language-support-tbhjuf Lint #110: Commit 5af2d87 pushed by rjrodger
3m 8s main
main
3m 8s
Merge pull request #81 from voxgig/claude/lean-language-support-tbhjuf Security & Static Analysis #121: Commit 5af2d87 pushed by rjrodger
3m 17s main
main
3m 17s
Push on main CodeQL #117: by rjrodger
15m 31s main
main
15m 31s
Add Lean 4 port of voxgig/struct Lint #109: Pull request #81 synchronize by rjrodger
6m 9s claude/lean-language-support-tbhjuf
claude/lean-language-support-tbhjuf
6m 9s
Add Lean 4 port of voxgig/struct Security & Static Analysis #120: Pull request #81 synchronize by rjrodger
5m 19s claude/lean-language-support-tbhjuf
claude/lean-language-support-tbhjuf
5m 19s
Add Lean 4 port of voxgig/struct Build and Test #239: Pull request #81 synchronize by rjrodger
12m 10s claude/lean-language-support-tbhjuf
claude/lean-language-support-tbhjuf
12m 10s
PR #81 CodeQL #116: by rjrodger
16m 53s refs/pull/81/head
refs/pull/81/head
16m 53s
Add Lean 4 port of voxgig/struct Build and Test #238: Pull request #81 synchronize by rjrodger
14m 45s claude/lean-language-support-tbhjuf
claude/lean-language-support-tbhjuf
14m 45s