Skip to content

Actions: FeirAI/averin

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
129 workflow runs
129 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
main-health main-health #24: completed by zachyking
10s
10s
Merge pull request #15 from FeirAI/formal/p3-posture ci #101: Commit f604f3e pushed by zachyking
37m 1s main
main
37m 1s
main-health main-health #23: Scheduled
10s main
main
10s
main-health main-health #22: completed by zachyking
12s
12s
ci ci #100: Scheduled
44m 58s main
main
44m 58s
posture: read-only live posture report GET /v2/posture (P3-POSTURE) ci #99: Pull request #15 synchronize by zachyking
33m 2s formal/p3-posture
formal/p3-posture
33m 2s
posture: read-only live posture report GET /v2/posture (P3-POSTURE) ci #98: Pull request #15 opened by zachyking
37m 17s formal/p3-posture
formal/p3-posture
37m 17s
main-health main-health #21: completed by zachyking
10s
10s
ci ci #97: by zachyking
37m 22s main
main
37m 22s
main-health main-health #20: completed by zachyking
11s
11s
main-health main-health #19: Scheduled
3m 50s main
main
3m 50s
ci ci #96: Scheduled
4h 47m 53s main
main
4h 47m 53s
main-health main-health #18: completed by zachyking
10s
10s
ci ci #95: Scheduled
43m 37s main
main
43m 37s
XV-11: approver identity in govder v3 evidence (averin re-derives decided_by and the sign-off set) ci #94: Pull request #14 synchronize by zachyking
35m 45s formal/p3-founder
formal/p3-founder
35m 45s
XV-11: approver identity in govder v3 evidence (averin re-derives decided_by and the sign-off set) ci #93: Pull request #14 synchronize by zachyking
31m 30s formal/p3-founder
formal/p3-founder
31m 30s
XV-11: approver identity in govder v3 evidence (averin re-derives decided_by and the sign-off set) ci #92: Pull request #14 opened by zachyking
29m 25s formal/p3-founder
formal/p3-founder
29m 25s
main-health main-health #17: completed by zachyking
9s
9s
Merge pull request #13 from FeirAI/formal/p3-kit21 ci #91: Commit 8a2880a pushed by zachyking
27m 59s main
main
27m 59s
main-health main-health #16: completed by zachyking
8s
8s
formal: kit v2.1 (stale mutant patch check) ci #90: Pull request #13 opened by zachyking
37m 16s formal/p3-kit21
formal/p3-kit21
37m 16s
Merge pull request #12 from FeirAI/formal/p3-w1close ci #89: Commit 1de9901 pushed by zachyking
38m 5s main
main
38m 5s
formal: wave-1 close-out (averin) ci #88: Pull request #12 synchronize by zachyking
40m 45s formal/p3-w1close
formal/p3-w1close
40m 45s
formal: wave-1 close-out (averin) ci #87: Pull request #12 opened by zachyking
37m 15s formal/p3-w1close
formal/p3-w1close
37m 15s
main-health main-health #15: Scheduled
10s main
main
10s