Skip to content

Actions: Emurgo/proof-tool

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
40 workflow runs
40 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
Proof release coherence Proof release coherence #20: Scheduled
35s main
main
35s
Scheduled CodeQL #11: by github-advanced-security AI
2m 26s main
main
2m 26s
Add secret scanning workflow with Gitleaks enforce-secret-scanning #1: Pull request #2 opened by crypto-titan
13s crypto-titan-patch-1
crypto-titan-patch-1
13s
Add secret scanning workflow with Gitleaks CI #6: Pull request #2 opened by crypto-titan
46m 49s crypto-titan-patch-1
crypto-titan-patch-1
46m 49s
PR #2 CodeQL #10: by crypto-titan
2m 16s refs/pull/2/head
refs/pull/2/head
2m 16s
Proof release coherence Proof release coherence #19: Scheduled
27s main
main
27s
Proof release coherence Proof release coherence #18: Scheduled
23s main
main
23s
Graph Update: go_modules in /. #1500423148 Dependency Graph #2: by dependabot Bot
38s main
main
38s
Merge pull request #1 from Emurgo/sync/upstream-main CI #5: Commit ba065e6 pushed by zuzunker
47m 22s main
main
47m 22s
Merge pull request #1 from Emurgo/sync/upstream-main Proof release coherence #17: Commit ba065e6 pushed by zuzunker
27s main
main
27s
Push on main CodeQL #9: by zuzunker
2m 14s main
main
2m 14s
Sync Emurgo fork with Anastasia-Labs/proof-tool main CI #4: Pull request #1 opened by zuzunker
27m 26s sync/upstream-main
sync/upstream-main
27m 26s
Sync Emurgo fork with Anastasia-Labs/proof-tool main Proof release coherence #16: Pull request #1 opened by zuzunker
37s sync/upstream-main
sync/upstream-main
37s
PR #1 CodeQL #8: by zuzunker
2m 14s refs/pull/1/head
refs/pull/1/head
2m 14s
Proof release coherence Proof release coherence #15: Scheduled
16s main
main
16s
Proof release coherence Proof release coherence #14: Scheduled
21s main
main
21s
Proof release coherence Proof release coherence #13: Scheduled
29s main
main
29s
Proof release coherence Proof release coherence #12: Scheduled
38s main
main
38s
Proof release coherence Proof release coherence #11: Scheduled
29s main
main
29s
Scheduled CodeQL #7: by github-advanced-security AI
2m 30s main
main
2m 30s
Proof release coherence Proof release coherence #10: Scheduled
33s main
main
33s
worker limit 5m CI #3: Commit d722792 pushed by zuzunker
47m 0s main
main
47m 0s
Push on main CodeQL #6: by zuzunker
2m 14s main
main
2m 14s
Proof release coherence Proof release coherence #9: Scheduled
28s main
main
28s
Proof release coherence Proof release coherence #8: Scheduled
20s main
main
20s