Skip to content

Actions: VidiomTM/lean-runtime-analysis

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
87 workflow runs
87 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: add missing pr-agent.yml workflow CodeQL Security Analysis #4: Commit a1fdab1 pushed by Jonathangadeaharder
44s master
master
44s
chore: add missing pr-agent.yml workflow Merge Gate #3: Commit a1fdab1 pushed by Jonathangadeaharder
Queued master
master
Queued
chore: remove legacy workflow files, consolidated into pr-gate standard Merge Gate #2: Commit 2d8e10f pushed by Jonathangadeaharder
1m 14s master
master
1m 14s
chore: remove legacy workflow files, consolidated into pr-gate standard CodeQL Security Analysis #3: Commit 2d8e10f pushed by Jonathangadeaharder
46s master
master
46s
feat: add quality gates CI/CD for Lean 4 project (#23) Merge Gate #1: Commit 66d2adb pushed by Jonathangadeaharder
3h 37m 7s master
master
3h 37m 7s
feat: add quality gates CI/CD for Lean 4 project (#23) CodeQL Security Analysis #2: Commit 66d2adb pushed by Jonathangadeaharder
40s master
master
40s
feat: add quality gates CI/CD for Lean 4 project (#23) Lean CI #59: Commit 66d2adb pushed by Jonathangadeaharder
Queued master
master
Queued
feat: add quality gates CI/CD for Lean 4 project (#23) Blueprint to GitHub Pages #8: Commit 66d2adb pushed by Jonathangadeaharder
Queued master
master
Queued
Running Copilot Code Review Copilot #1: by Copilot AI
2m 11s feat/quality-gates
feat/quality-gates
2m 11s
feat: quality gates CI/CD (Lean 4 adaptation) CodeQL Security Analysis #1: Pull request #23 opened by Jonathangadeaharder
45s feat/quality-gates
feat/quality-gates
45s
feat: quality gates CI/CD (Lean 4 adaptation) PR Quality Gate #1: Pull request #23 opened by Jonathangadeaharder
Queued feat/quality-gates
feat/quality-gates
Queued
feat: quality gates CI/CD (Lean 4 adaptation) Lean CI #58: Pull request #23 opened by Jonathangadeaharder
Queued feat/quality-gates
feat/quality-gates
Queued
ci: use gate-specific runner labels Lean CI #57: Commit edff444 pushed by Jonathangadeaharder
19h 27m 53s master
master
19h 27m 53s
ci: use gate-specific runner labels Blueprint to GitHub Pages #7: Commit edff444 pushed by Jonathangadeaharder
19h 27m 56s master
master
19h 27m 56s
chore: commit open changes [lean-runtime-analysis] Lean CI #56: Pull request #22 synchronize by Jonathangadeaharder
25m 5s chore/pr-open-changes
chore/pr-open-changes
25m 5s
chore: commit open changes [lean-runtime-analysis] Lean CI #55: Pull request #22 synchronize by Jonathangadeaharder
25m 38s chore/pr-open-changes
chore/pr-open-changes
25m 38s
chore: commit open changes [lean-runtime-analysis] Lean CI #54: Pull request #22 synchronize by Jonathangadeaharder
20m 36s chore/pr-open-changes
chore/pr-open-changes
20m 36s
chore: commit open changes [lean-runtime-analysis] Lean CI #53: Pull request #22 synchronize by Jonathangadeaharder
22m 5s chore/pr-open-changes
chore/pr-open-changes
22m 5s
chore: commit open changes [lean-runtime-analysis] Lean CI #52: Pull request #22 synchronize by Jonathangadeaharder
26s chore/pr-open-changes
chore/pr-open-changes
26s
Copilot code review Copilot code review #12: by Copilot AI
2m 26s refs/pull/22/head
refs/pull/22/head
2m 26s
chore: commit open changes [lean-runtime-analysis] Lean CI #51: Pull request #22 opened by Jonathangadeaharder
22m 37s chore/pr-open-changes
chore/pr-open-changes
22m 37s
chore: switch CI runners to self-hosted (#16) Lean CI #50: Commit aa98cc9 pushed by Jonathangadeaharder
25m 45s master
master
25m 45s
chore: switch CI runners to self-hosted (#16) Blueprint to GitHub Pages #6: Commit aa98cc9 pushed by Jonathangadeaharder
1h 10m 0s master
master
1h 10m 0s
chore: add structurelint config for Lean 4 project (#17) Blueprint to GitHub Pages #5: Commit 3559bf4 pushed by Jonathangadeaharder
6s master
master
6s
chore: add structurelint config for Lean 4 project (#17) Lean CI #49: Commit 3559bf4 pushed by Jonathangadeaharder
25m 37s master
master
25m 37s