Skip to content

Actions: input-output-hk/plutus-halo2-verifier-gen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
227 workflow runs
227 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Supporting committed instances and trashcans Continuous Integration #145: Pull request #53 synchronize by rrtoledo
1m 19s rrtoledo:plutus-gen@trashcans
rrtoledo:plutus-gen@trashcans
1m 19s
Scheduled CodeQL #78: by github-advanced-security bot
4m 23s main
main
4m 23s
Supporting committed instances and trashcans Continuous Integration #144: Pull request #53 synchronize by rrtoledo
1m 26s rrtoledo:plutus-gen@trashcans
rrtoledo:plutus-gen@trashcans
1m 26s
Supporting committed instances and trashcans Continuous Integration #143: Pull request #53 synchronize by rrtoledo
14s rrtoledo:plutus-gen@trashcans
rrtoledo:plutus-gen@trashcans
14s
Supporting committed instances and trashcans Continuous Integration #142: Pull request #53 synchronize by rrtoledo
9s rrtoledo:plutus-gen@trashcans
rrtoledo:plutus-gen@trashcans
9s
Supporting committed instances and trashcans Continuous Integration #141: Pull request #53 opened by rrtoledo
16s rrtoledo:plutus-gen@trashcans
rrtoledo:plutus-gen@trashcans
16s
Scheduled CodeQL #77: by github-advanced-security bot
4m 38s main
main
4m 38s
Scheduled CodeQL #76: by github-advanced-security bot
4m 12s main
main
4m 12s
Scheduled CodeQL #75: by github-advanced-security bot
4m 23s main
main
4m 23s
Removing unsused code for msm and intermediate set constructions Continuous Integration #140: Pull request #52 synchronize by rrtoledo
1m 11s rrtoledo:raph@midnight-intermediate_set
rrtoledo:raph@midnight-intermediate_set
1m 11s
Scheduled CodeQL #74: by github-advanced-security bot
4m 34s main
main
4m 34s
Removing unsused code for msm and intermediate set constructions Continuous Integration #139: Pull request #52 synchronize by rrtoledo
1m 22s rrtoledo:raph@midnight-intermediate_set
rrtoledo:raph@midnight-intermediate_set
1m 22s
Removing unsused code for msm and intermediate set constructions Continuous Integration #138: Pull request #52 opened by rrtoledo
53s rrtoledo:raph@midnight-intermediate_set
rrtoledo:raph@midnight-intermediate_set
53s
Using midnight-zk crate Continuous Integration #137: Pull request #47 synchronize by rrtoledo
1m 21s rrtoledo:raph@midnight-zk
rrtoledo:raph@midnight-zk
1m 21s
Using midnight-zk crate Continuous Integration #136: Pull request #47 synchronize by rrtoledo
1m 9s rrtoledo:raph@midnight-zk
rrtoledo:raph@midnight-zk
1m 9s
Using midnight-zk crate Continuous Integration #135: Pull request #47 synchronize by rrtoledo
1m 11s rrtoledo:raph@midnight-zk
rrtoledo:raph@midnight-zk
1m 11s
Scheduled CodeQL #73: by github-advanced-security bot
4m 14s main
main
4m 14s
Using midnight-zk crate Continuous Integration #134: Pull request #47 synchronize by rrtoledo
1m 20s rrtoledo:raph@midnight-zk
rrtoledo:raph@midnight-zk
1m 20s
Refactoring plutus_gen (#51) Continuous Integration #133: Commit bfda405 pushed by rrtoledo
1m 48s main
main
1m 48s
Push on main CodeQL #72: by rrtoledo
4m 29s main
main
4m 29s
Refactoring plutus_gen Continuous Integration #132: Pull request #51 synchronize by rrtoledo
1m 54s raph@refactor
raph@refactor
1m 54s
PR #51 CodeQL #71: by rrtoledo
4m 17s refs/pull/51/head
refs/pull/51/head
4m 17s
Refactoring plutus_gen Continuous Integration #131: Pull request #51 synchronize by rrtoledo
2m 3s raph@refactor
raph@refactor
2m 3s
PR #51 CodeQL #70: by rrtoledo
4m 7s refs/pull/51/head
refs/pull/51/head
4m 7s
Refactoring plutus_gen Continuous Integration #130: Pull request #51 synchronize by rrtoledo
2m 0s raph@refactor
raph@refactor
2m 0s