Skip to content

Actions: fedi-e2ee/pkd-formal

Actions

Verify Proofs and Traceability

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verify.yml
45 workflow runs
45 workflow runs

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
Verify Proofs and Traceability Verify Proofs and Traceability #45: Scheduled
2m 49s main
main
2m 49s
Verify Proofs and Traceability Verify Proofs and Traceability #44: Scheduled
2m 32s main
main
2m 32s
Update for specification v0.8 (#9) Verify Proofs and Traceability #43: Commit 8633d45 pushed by soatok
2m 30s v0.5.0
v0.5.0
2m 30s
Update for specification v0.8 (#9) Verify Proofs and Traceability #42: Commit 8633d45 pushed by soatok
2m 51s main
main
2m 51s
Update for specification v0.8 Verify Proofs and Traceability #41: Pull request #9 opened by soatok
2m 29s update-0.8
update-0.8
2m 29s
Update snapshot Verify Proofs and Traceability #40: Commit 911dcea pushed by soatok
3m 0s update-0.8
update-0.8
3m 0s
Verify Proofs and Traceability Verify Proofs and Traceability #39: Scheduled
2m 37s main
main
2m 37s
Verify Proofs and Traceability Verify Proofs and Traceability #38: Scheduled
2m 53s main
main
2m 53s
Verify Proofs and Traceability Verify Proofs and Traceability #37: Scheduled
2m 45s main
main
2m 45s
Verify Proofs and Traceability Verify Proofs and Traceability #36: Scheduled
2m 58s main
main
2m 58s
Verify Proofs and Traceability Verify Proofs and Traceability #35: Scheduled
2m 38s main
main
2m 38s
Verify Proofs and Traceability Verify Proofs and Traceability #34: Scheduled
2m 48s main
main
2m 48s
Verify Proofs and Traceability Verify Proofs and Traceability #33: Scheduled
2m 35s main
main
2m 35s
Verify Proofs and Traceability Verify Proofs and Traceability #32: Scheduled
2m 39s main
main
2m 39s
Update proofs, Duvet snapshot (#7) Verify Proofs and Traceability #31: Commit a9702be pushed by soatok
2m 48s v0.4.1
v0.4.1
2m 48s
Update proofs, Duvet snapshot (#7) Verify Proofs and Traceability #30: Commit a9702be pushed by soatok
2m 43s main
main
2m 43s
Update proofs, Duvet snapshot Verify Proofs and Traceability #29: Pull request #7 opened by soatok
2m 40s sync-implementations-20260221
sync-implementations-20260221
2m 40s
Add missing proofs Verify Proofs and Traceability #28: Commit 0974c7b pushed by soatok
2m 53s sync-implementations-20260221
sync-implementations-20260221
2m 53s
Verify Proofs and Traceability Verify Proofs and Traceability #27: Manually run by soatok
2m 49s main
main
2m 49s
Verify Proofs and Traceability Verify Proofs and Traceability #26: Scheduled
2m 54s main
main
2m 54s
Verify Proofs and Traceability Verify Proofs and Traceability #25: Scheduled
2m 49s main
main
2m 49s
Update proofs (#6) Verify Proofs and Traceability #24: Commit 6a2fd4f pushed by soatok
2m 36s v0.4.0
v0.4.0
2m 36s
Update proofs (#6) Verify Proofs and Traceability #23: Commit 6a2fd4f pushed by soatok
2m 22s main
main
2m 22s
Update proofs Verify Proofs and Traceability #22: Pull request #6 opened by soatok
2m 33s update-proofs
update-proofs
2m 33s
update snapshot Verify Proofs and Traceability #21: Commit 508020a pushed by soatok
2m 34s update-proofs
update-proofs
2m 34s