Skip to content

Actions: anoma/anoma

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,467 workflow runs
2,467 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixed up verificaiton logic. Pull request checks #233: Pull request #1414 synchronize by mariari
7m 47s mariari/verification-integration
mariari/verification-integration
7m 47s
Log Verification Errors Pull request checks #232: Pull request #1404 synchronize by mariari
7m 58s artem/verify-error-log
artem/verify-error-log
7m 58s
Fixed up verificaiton logic. Pull request checks #231: Pull request #1414 synchronize by mariari
8m 10s mariari/verification-integration
mariari/verification-integration
8m 10s
Resource Machine Examples Pull request checks #230: Pull request #1420 synchronize by mariari
8m 8s mariari/rename-examples
mariari/rename-examples
8m 8s
Fix typo from comited to comitted Pull request checks #229: Pull request #1423 opened by mariari
19m 55s mariari/fix-precis-commit-name
mariari/fix-precis-commit-name
19m 55s
Resource Machine Examples Pull request checks #228: Pull request #1420 synchronize by mariari
7m 58s mariari/rename-examples
mariari/rename-examples
7m 58s
Resource Machine Examples Pull request checks #227: Pull request #1420 synchronize by mariari
8m 14s mariari/rename-examples
mariari/rename-examples
8m 14s
Implement a macro generating example tests Pull request checks #225: Pull request #1399 synchronize by mariuszzak
20m 6s eigerco:mariuszzak/examples-macro
eigerco:mariuszzak/examples-macro
20m 6s
Resource Machine Examples Pull request checks #224: Pull request #1420 synchronize by mariari
7m 48s mariari/rename-examples
mariari/rename-examples
7m 48s
Fixed up verificaiton logic. Pull request checks #223: Pull request #1414 synchronize by mariari
7m 59s mariari/verification-integration
mariari/verification-integration
7m 59s
Fix issue where commited name was mispelled in self tag check Pull request checks #222: Pull request #1422 opened by mariari
20m 22s mariari/fix-commitment-name
mariari/fix-commitment-name
20m 22s
Fixed up verificaiton logic. Pull request checks #221: Pull request #1414 synchronize by mariari
7m 52s mariari/verification-integration
mariari/verification-integration
7m 52s
Fix LogicProof.verify/1 computation Pull request checks #220: Pull request #1421 opened by mariari
20m 43s mariari/fix-verify-logic-proof
mariari/fix-verify-logic-proof
20m 43s
Resource Machine Examples Pull request checks #219: Pull request #1420 opened by mariari
20m 2s mariari/rename-examples
mariari/rename-examples
20m 2s
Remove sleep from EConsensus.execution_continues/0 Pull request checks #218: Pull request #1419 opened by mariari
19m 55s mariari/remove-sleep
mariari/remove-sleep
19m 55s
Merge remote-tracking branch 'anoma/artem/rocks' into next Run checks on main or next #26: Commit df40849 pushed by juped
8m 58s next
next
8m 58s
Merge branch 'mz/misc-comment-format' into next Run checks on main or next #25: Commit ebe9e59 pushed by juped
7m 57s next
next
7m 57s
Merge branch 'mz/examples-macro' into next Run checks on main or next #24: Commit 80874c5 pushed by juped
7m 50s next
next
7m 50s
Properly handle Cairo errors during verification of shielded txs Pull request checks #217: Pull request #1418 synchronize by karbyshev
8m 9s aleks/shielded-partia-tx-refactor
aleks/shielded-partia-tx-refactor
8m 9s
Properly handle Cairo errors during verification of shielded txs Pull request checks #216: Pull request #1418 opened by karbyshev
20m 15s aleks/shielded-partia-tx-refactor
aleks/shielded-partia-tx-refactor
20m 15s
Update protobuf files only when really changed Pull request checks #215: Pull request #1417 opened by mariuszzak
19m 46s eigerco:mariuszzak/protobuf-compilation
eigerco:mariuszzak/protobuf-compilation
19m 46s
Fixed up verificaiton logic. Pull request checks #214: Pull request #1414 synchronize by mariari
8m 25s mariari/verification-integration
mariari/verification-integration
8m 25s
Log Verification Errors Pull request checks #213: Pull request #1404 synchronize by mariari
8m 8s artem/verify-error-log
artem/verify-error-log
8m 8s
Log Verification Errors Pull request checks #212: Pull request #1404 synchronize by mariari
7m 39s artem/verify-error-log
artem/verify-error-log
7m 39s
Log Verification Errors Pull request checks #211: Pull request #1404 synchronize by mariari
7m 51s artem/verify-error-log
artem/verify-error-log
7m 51s
ProTip! You can narrow down the results and go further in time using created:<2024-10-18 or the other filters available.