Skip to content

Actions: VerinFast/modernmetric

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
123 workflow runs
123 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cache removed and filelist unit test Run Tests #20: Pull request #32 synchronize by SeanTConrad
December 13, 2024 19:09 54s additional_unit_test
additional_unit_test
December 13, 2024 19:09 54s
actually run coverage Build #86: Commit 9c41ce0 pushed by SeanTConrad
December 13, 2024 19:09 1m 2s additional_unit_test
additional_unit_test
December 13, 2024 19:09 1m 2s
Cache removed and filelist unit test Run Tests #19: Pull request #32 synchronize by SeanTConrad
December 13, 2024 18:51 50s additional_unit_test
additional_unit_test
December 13, 2024 18:51 50s
This shoud do it Build #85: Commit 5c81e0a pushed by SeanTConrad
December 13, 2024 18:51 57s additional_unit_test
additional_unit_test
December 13, 2024 18:51 57s
Cache removed and filelist unit test Run Tests #18: Pull request #32 synchronize by SeanTConrad
December 13, 2024 18:39 26s additional_unit_test
additional_unit_test
December 13, 2024 18:39 26s
maybe Build #84: Commit 75c1604 pushed by SeanTConrad
December 13, 2024 18:39 1m 3s additional_unit_test
additional_unit_test
December 13, 2024 18:39 1m 3s
Cache removed and filelist unit test Run Tests #17: Pull request #32 synchronize by SeanTConrad
December 13, 2024 17:01 26s additional_unit_test
additional_unit_test
December 13, 2024 17:01 26s
something is broken Build #83: Commit 75d2919 pushed by SeanTConrad
December 13, 2024 17:01 1m 0s additional_unit_test
additional_unit_test
December 13, 2024 17:01 1m 0s
Cache removed and filelist unit test Run Tests #16: Pull request #32 synchronize by SeanTConrad
December 13, 2024 16:28 26s additional_unit_test
additional_unit_test
December 13, 2024 16:28 26s
more prints Build #82: Commit 092c786 pushed by SeanTConrad
December 13, 2024 16:28 1m 11s additional_unit_test
additional_unit_test
December 13, 2024 16:28 1m 11s
Cache removed and filelist unit test Run Tests #15: Pull request #32 synchronize by SeanTConrad
December 13, 2024 16:26 26s additional_unit_test
additional_unit_test
December 13, 2024 16:26 26s
more prints Build #81: Commit c591b8d pushed by SeanTConrad
December 13, 2024 16:26 1m 6s additional_unit_test
additional_unit_test
December 13, 2024 16:26 1m 6s
Cache removed and filelist unit test Run Tests #14: Pull request #32 synchronize by SeanTConrad
December 13, 2024 16:20 29s additional_unit_test
additional_unit_test
December 13, 2024 16:20 29s
more debugging help Build #80: Commit c97b900 pushed by SeanTConrad
December 13, 2024 16:20 1m 14s additional_unit_test
additional_unit_test
December 13, 2024 16:20 1m 14s
Cache removed and filelist unit test Run Tests #13: Pull request #32 synchronize by SeanTConrad
December 13, 2024 16:13 38s additional_unit_test
additional_unit_test
December 13, 2024 16:13 38s
another 3.8 fix Build #79: Commit 6230ddb pushed by SeanTConrad
December 13, 2024 16:13 1m 8s additional_unit_test
additional_unit_test
December 13, 2024 16:13 1m 8s
Cache removed and filelist unit test Run Tests #12: Pull request #32 synchronize by SeanTConrad
December 13, 2024 16:11 27s additional_unit_test
additional_unit_test
December 13, 2024 16:11 27s
operand support for python 3.8 Build #78: Commit 9daab7a pushed by SeanTConrad
December 13, 2024 16:11 1m 6s additional_unit_test
additional_unit_test
December 13, 2024 16:11 1m 6s
Cache removed and filelist unit test Run Tests #11: Pull request #32 synchronize by SeanTConrad
December 13, 2024 15:55 27s additional_unit_test
additional_unit_test
December 13, 2024 15:55 27s
more debug prints Build #77: Commit a79620f pushed by SeanTConrad
December 13, 2024 15:55 1m 4s additional_unit_test
additional_unit_test
December 13, 2024 15:55 1m 4s
Cache removed and filelist unit test Run Tests #10: Pull request #32 synchronize by SeanTConrad
December 13, 2024 15:52 27s additional_unit_test
additional_unit_test
December 13, 2024 15:52 27s
test print Build #76: Commit c20e9b1 pushed by SeanTConrad
December 13, 2024 15:52 1m 10s additional_unit_test
additional_unit_test
December 13, 2024 15:52 1m 10s
Cache removed and filelist unit test Run Tests #9: Pull request #32 opened by SeanTConrad
December 13, 2024 15:35 1m 5s additional_unit_test
additional_unit_test
December 13, 2024 15:35 1m 5s
Cache removed and filelist unit test Build #75: Commit 0bf4c0d pushed by SeanTConrad
December 13, 2024 15:34 59s additional_unit_test
additional_unit_test
December 13, 2024 15:34 59s
Merge pull request #31 from VerinFast/workflow_tweaks Run Tests #8: Commit 4fc45da pushed by aylusltd
December 13, 2024 13:38 2m 40s master
master
December 13, 2024 13:38 2m 40s