Skip to content

Actions: Emurgo/proof-tool

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
108 workflow runs
108 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 #68: Scheduled
24s main
main
24s
Proof release coherence Proof release coherence #67: Scheduled
29s main
main
29s
Scheduled CodeQL #21: by github-advanced-security AI
7m 2s main
main
7m 2s
Proof release coherence Proof release coherence #66: Scheduled
31s main
main
31s
Proof release coherence Proof release coherence #65: Scheduled
32s main
main
32s
Proof release coherence Proof release coherence #64: Scheduled
1m 45s main
main
1m 45s
Proof release coherence Proof release coherence #63: Scheduled
24s main
main
24s
Proof release coherence Proof release coherence #62: Scheduled
33s main
main
33s
Proof release coherence Proof release coherence #61: Scheduled
30s main
main
30s
Proof release coherence Proof release coherence #60: Scheduled
29s main
main
29s
Scheduled CodeQL #20: by github-advanced-security AI
6m 51s main
main
6m 51s
Proof release coherence Proof release coherence #59: Scheduled
25s main
main
25s
Proof release coherence Proof release coherence #58: Scheduled
27s main
main
27s
Merge pull request #3 from Emurgo/chore/pin-actions-to-sha CI #14: Commit 622d584 pushed by stackchain
42m 27s main
main
42m 27s
Merge pull request #3 from Emurgo/chore/pin-actions-to-sha Proof release coherence #57: Commit 622d584 pushed by stackchain
28s main
main
28s
Push on main CodeQL #19: by stackchain
5m 31s main
main
5m 31s
Proof release coherence Proof release coherence #56: Scheduled
28s main
main
28s
Proof release coherence Proof release coherence #55: Scheduled
24s main
main
24s
Graph Update: go_modules in /. #1557645233 Dependency Graph #3: by dependabot Bot
40s main
main
40s
Merge pull request #7 from Anastasia-Labs/main CI #13: Commit e985ede pushed by zuzunker
25m 51s main
main
25m 51s
Merge pull request #7 from Anastasia-Labs/main Proof release coherence #54: Commit e985ede pushed by zuzunker
33s main
main
33s
Push on main CodeQL #18: by zuzunker
6m 55s main
main
6m 55s
pull latest upstream Proof release coherence #53: Pull request #7 opened by zuzunker
41s Anastasia-Labs:main
Anastasia-Labs:main
41s
pull latest upstream CI #12: Pull request #7 opened by zuzunker
43m 2s Anastasia-Labs:main
Anastasia-Labs:main
43m 2s
Proof release coherence Proof release coherence #52: Scheduled
25s main
main
25s