Skip to content

Actions: anvil-verifier/anvil

Actions

Continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
654 workflow runs
654 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Continuous integration run by euclidgame Continuous integration #671: Pull request #410 synchronize by euclidgame
November 13, 2023 20:12 21m 34s validate-zk-config-for-config-map
validate-zk-config-for-config-map
November 13, 2023 20:12 21m 34s
Continuous integration run by euclidgame Continuous integration #670: Pull request #410 synchronize by euclidgame
November 13, 2023 18:08 23m 27s validate-zk-config-for-config-map
validate-zk-config-for-config-map
November 13, 2023 18:08 23m 27s
Continuous integration run by euclidgame Continuous integration #669: Pull request #410 synchronize by euclidgame
November 13, 2023 18:02 21m 18s validate-zk-config-for-config-map
validate-zk-config-for-config-map
November 13, 2023 18:02 21m 18s
Continuous integration run by ZichengMa Continuous integration #668: Pull request #413 opened by ZichengMa
November 13, 2023 11:01 24m 53s unit-tests-format
unit-tests-format
November 13, 2023 11:01 24m 53s
Continuous integration run by euclidgame Continuous integration #667: Pull request #410 synchronize by euclidgame
November 12, 2023 06:17 31m 40s validate-zk-config-for-config-map
validate-zk-config-for-config-map
November 12, 2023 06:17 31m 40s
Continuous integration run by euclidgame Continuous integration #666: Pull request #410 synchronize by euclidgame
November 12, 2023 06:16 23m 21s validate-zk-config-for-config-map
validate-zk-config-for-config-map
November 12, 2023 06:16 23m 21s
Continuous integration run by euclidgame Continuous integration #665: Pull request #410 synchronize by euclidgame
November 12, 2023 06:10 24m 3s validate-zk-config-for-config-map
validate-zk-config-for-config-map
November 12, 2023 06:10 24m 3s
Continuous integration run by euclidgame Continuous integration #664: Pull request #410 synchronize by euclidgame
November 12, 2023 06:02 25m 31s validate-zk-config-for-config-map
validate-zk-config-for-config-map
November 12, 2023 06:02 25m 31s
Continuous integration run by euclidgame Continuous integration #663: Pull request #410 synchronize by euclidgame
November 12, 2023 05:50 20m 53s validate-zk-config-for-config-map
validate-zk-config-for-config-map
November 12, 2023 05:50 20m 53s
Continuous integration run by euclidgame Continuous integration #662: Pull request #410 synchronize by euclidgame
November 12, 2023 05:39 20m 55s validate-zk-config-for-config-map
validate-zk-config-for-config-map
November 12, 2023 05:39 20m 55s
Continuous integration run by euclidgame Continuous integration #661: Pull request #410 synchronize by euclidgame
November 12, 2023 03:21 21m 7s validate-zk-config-for-config-map
validate-zk-config-for-config-map
November 12, 2023 03:21 21m 7s
Continuous integration run by euclidgame Continuous integration #660: Pull request #410 synchronize by euclidgame
November 12, 2023 03:08 20m 52s validate-zk-config-for-config-map
validate-zk-config-for-config-map
November 12, 2023 03:08 20m 52s
Continuous integration run by euclidgame Continuous integration #659: Pull request #410 synchronize by euclidgame
November 12, 2023 03:07 25m 44s validate-zk-config-for-config-map
validate-zk-config-for-config-map
November 12, 2023 03:07 25m 44s
Continuous integration run by euclidgame Continuous integration #658: Pull request #410 synchronize by euclidgame
November 12, 2023 02:44 24m 44s validate-zk-config-for-config-map
validate-zk-config-for-config-map
November 12, 2023 02:44 24m 44s
Continuous integration run by marshtompsxd Continuous integration #657: Merge group checks requested
November 12, 2023 00:26 23m 53s
November 12, 2023 00:26 23m 53s
Continuous integration run by marshtompsxd Continuous integration #656: Merge group checks requested
November 12, 2023 00:26 25m 51s
November 12, 2023 00:26 25m 51s
Continuous integration run by marshtompsxd Continuous integration #655: Pull request #412 opened by marshtompsxd
November 11, 2023 22:53 23m 22s xudong/format-conformance-proof-goals
xudong/format-conformance-proof-goals
November 11, 2023 22:53 23m 22s
Continuous integration run by marshtompsxd Continuous integration #654: Pull request #411 opened by marshtompsxd
November 11, 2023 22:53 24m 46s xudong/improve-line-counting
xudong/improve-line-counting
November 11, 2023 22:53 24m 46s
Continuous integration run by euclidgame Continuous integration #653: Pull request #410 synchronize by euclidgame
November 11, 2023 20:57 20m 36s validate-zk-config-for-config-map
validate-zk-config-for-config-map
November 11, 2023 20:57 20m 36s
Continuous integration run by euclidgame Continuous integration #652: Pull request #410 opened by euclidgame
November 11, 2023 20:45 21m 47s validate-zk-config-for-config-map
validate-zk-config-for-config-map
November 11, 2023 20:45 21m 47s
Continuous integration run by marshtompsxd Continuous integration #651: Merge group checks requested
November 11, 2023 19:01 20m 55s
November 11, 2023 19:01 20m 55s
Continuous integration run by marshtompsxd Continuous integration #650: Merge group checks requested
November 11, 2023 05:04 20m 41s
November 11, 2023 05:04 20m 41s
Continuous integration run by marshtompsxd Continuous integration #649: Pull request #409 opened by marshtompsxd
November 11, 2023 04:53 22m 8s xudong/remove-mut
xudong/remove-mut
November 11, 2023 04:53 22m 8s
Continuous integration run by marshtompsxd Continuous integration #648: Pull request #408 opened by marshtompsxd
November 11, 2023 04:43 20m 47s xudong/update-cargo-lock
xudong/update-cargo-lock
November 11, 2023 04:43 20m 47s
Continuous integration run by marshtompsxd Continuous integration #647: Merge group checks requested
November 10, 2023 16:46 20m 54s
November 10, 2023 16:46 20m 54s
ProTip! You can narrow down the results and go further in time using created:<2023-11-10 or the other filters available.