Skip to content

Actions: worldcoin/semaphore-mtb

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
240 workflow runs
240 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #36 from worldcoin/wip/mk/reducedness-check
Test #73: Commit bdb3d85 pushed by kustosz
September 7, 2023 15:42 4m 50s master
September 7, 2023 15:42 4m 50s
add a reducedness check to binary reps
Test #72: Commit 663d8c0 pushed by kustosz
September 7, 2023 10:47 4m 13s wip/mk/reducedness-check
September 7, 2023 10:47 4m 13s
September 5, 2023 14:13 4m 17s
Merge pull request #34 from reilabs/update-poseidon
Test #69: Commit 730db95 pushed by kustosz
September 5, 2023 12:45 4m 39s master
September 5, 2023 12:45 4m 39s
fix merge conflict
Test #68: Commit 6e2aeed pushed by dcbuild3r
September 5, 2023 11:36 3m 36s dcbuild3r/delete-identities-circuit
September 5, 2023 11:36 3m 36s
fix tests
Test #67: Commit 6b4b566 pushed by kustosz
September 4, 2023 20:02 2m 15s wip/mk/faster-keccak
September 4, 2023 20:02 2m 15s
minor comment fix
Test #66: Commit 22b3eb6 pushed by dcbuild3r
September 4, 2023 16:08 2m 20s dcbuild3r/delete-identities-circuit
September 4, 2023 16:08 2m 20s
add tests, fix logic
Test #65: Commit d50f6b4 pushed by kustosz
September 4, 2023 16:02 2m 25s dcbuild3r/delete-identities-circuit
September 4, 2023 16:02 2m 25s
fix testsg
Test #64: Commit 61e1187 pushed by kustosz
September 1, 2023 15:36 1m 44s dcbuild3r/delete-identities-circuit
September 1, 2023 15:36 1m 44s
Merge pull request #33 from reilabs/lean-ci
Test #63: Commit 29350c2 pushed by kustosz
September 1, 2023 15:22 16m 39s master
September 1, 2023 15:22 16m 39s
Split server handler
Test #60: Commit 3357cb0 pushed by Dzejkop
August 31, 2023 10:58 1m 50s dzejkop/delete-identities-server
August 31, 2023 10:58 1m 50s
small fix
Test #59: Commit 164bfb4 pushed by Dzejkop
August 31, 2023 10:55 1m 44s dzejkop/delete-identities-server
August 31, 2023 10:55 1m 44s
Add mode cli flag
Test #58: Commit 7f250f2 pushed by Dzejkop
August 31, 2023 10:39 1m 49s dzejkop/delete-identities-server
August 31, 2023 10:39 1m 49s
WIP
Test #57: Commit 7b503b8 pushed by Dzejkop
August 31, 2023 09:47 2m 17s dzejkop/delete-identities-server
August 31, 2023 09:47 2m 17s
more changes
Test #56: Commit ddb8e38 pushed by dcbuild3r
August 30, 2023 21:47 1m 57s dcbuild3r/delete-identities-circuit
August 30, 2023 21:47 1m 57s
init changes
Test #55: Commit d74c313 pushed by dcbuild3r
August 30, 2023 17:27 51s dcbuild3r/delete-identities-circuit
August 30, 2023 17:27 51s
Merge pull request #27 from worldcoin/nemanja/readme-update
Test #54: Commit 71637c0 pushed by TheMenko
August 1, 2023 15:12 2m 1s master
August 1, 2023 15:12 2m 1s
update readme
Test #53: Commit 85ac054 pushed by TheMenko
July 30, 2023 18:32 1m 47s nemanja/readme-update
July 30, 2023 18:32 1m 47s
update readme
Test #52: Commit fe389d6 pushed by TheMenko
July 30, 2023 18:31 1m 53s nemanja/readme-update
July 30, 2023 18:31 1m 53s
Update License.md
Test #51: Commit ee12090 pushed by paolodamico
July 21, 2023 12:53 2m 53s update-license
July 21, 2023 12:53 2m 53s
Static linking (#25)
Release #9: Commit 1538c7b pushed by cichaczem
July 6, 2023 19:07 2m 24s 1.1.0
July 6, 2023 19:07 2m 24s
Static linking (#25)
Test #50: Commit 1538c7b pushed by cichaczem
July 6, 2023 19:07 1m 45s 1.1.0
July 6, 2023 19:07 1m 45s