Skip to content

Actions: acts-project/covfie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
454 workflow runs
454 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #40 from stephenswat/feat/assert
Code Checks #397: Commit 56bb326 pushed by stephenswat
November 8, 2024 08:00 16s main
November 8, 2024 08:00 16s
Merge pull request #40 from stephenswat/feat/assert
Build Tests #406: Commit 56bb326 pushed by stephenswat
November 8, 2024 08:00 2m 49s main
November 8, 2024 08:00 2m 49s
Add bounds assertions to several backends
Build Tests #405: Pull request #40 opened by stephenswat
November 7, 2024 20:39 16m 51s stephenswat:feat/assert
November 7, 2024 20:39 16m 51s
Add bounds assertions to several backends
Code Checks #396: Pull request #40 opened by stephenswat
November 7, 2024 20:39 5m 50s stephenswat:feat/assert
November 7, 2024 20:39 5m 50s
Merge pull request #39 from stephenswat/ci/parallelism
Build Tests #404: Commit 7f8480b pushed by stephenswat
November 7, 2024 20:37 9m 46s main
November 7, 2024 20:37 9m 46s
Merge pull request #39 from stephenswat/ci/parallelism
Code Checks #395: Commit 7f8480b pushed by stephenswat
November 7, 2024 20:37 1m 31s main
November 7, 2024 20:37 1m 31s
Redesign the build test CI jobs
Build Tests #403: Pull request #39 synchronize by stephenswat
November 7, 2024 20:37 2m 51s stephenswat:ci/parallelism
November 7, 2024 20:37 2m 51s
Redesign the build test CI jobs
Code Checks #394: Pull request #39 synchronize by stephenswat
November 7, 2024 20:37 17s stephenswat:ci/parallelism
November 7, 2024 20:37 17s
Redesign the build test CI jobs
Code Checks #393: Pull request #39 synchronize by stephenswat
November 7, 2024 20:33 19s stephenswat:ci/parallelism
November 7, 2024 20:33 19s
Redesign the build test CI jobs
Build Tests #402: Pull request #39 synchronize by stephenswat
November 7, 2024 20:33 2m 46s stephenswat:ci/parallelism
November 7, 2024 20:33 2m 46s
Redesign the build test CI jobs
Build Tests #401: Pull request #39 synchronize by stephenswat
November 7, 2024 20:31 2m 2s stephenswat:ci/parallelism
November 7, 2024 20:31 2m 2s
Redesign the build test CI jobs
Code Checks #392: Pull request #39 synchronize by stephenswat
November 7, 2024 20:31 22s stephenswat:ci/parallelism
November 7, 2024 20:31 22s
Redesign the build test CI jobs
Build Tests #400: Pull request #39 synchronize by stephenswat
November 7, 2024 20:21 4m 23s stephenswat:ci/parallelism
November 7, 2024 20:21 4m 23s
Redesign the build test CI jobs
Code Checks #391: Pull request #39 synchronize by stephenswat
November 7, 2024 20:21 21s stephenswat:ci/parallelism
November 7, 2024 20:21 21s
Redesign the build test CI jobs
Build Tests #399: Pull request #39 synchronize by stephenswat
November 7, 2024 20:18 3m 39s stephenswat:ci/parallelism
November 7, 2024 20:18 3m 39s
Redesign the build test CI jobs
Code Checks #390: Pull request #39 synchronize by stephenswat
November 7, 2024 20:18 18s stephenswat:ci/parallelism
November 7, 2024 20:18 18s
Redesign the build test CI jobs
Build Tests #398: Pull request #39 synchronize by stephenswat
November 7, 2024 20:14 3m 50s stephenswat:ci/parallelism
November 7, 2024 20:14 3m 50s
Redesign the build test CI jobs
Code Checks #389: Pull request #39 synchronize by stephenswat
November 7, 2024 20:14 18s stephenswat:ci/parallelism
November 7, 2024 20:14 18s
Redesign the build test CI jobs
Code Checks #388: Pull request #39 opened by stephenswat
November 7, 2024 20:07 20s stephenswat:ci/parallelism
November 7, 2024 20:07 20s
Redesign the build test CI jobs
Build Tests #397: Pull request #39 opened by stephenswat
November 7, 2024 20:07 3m 33s stephenswat:ci/parallelism
November 7, 2024 20:07 3m 33s
Merge pull request #38 from stephenswat/tests/fixes
Code Checks #387: Commit 4720e3d pushed by stephenswat
November 7, 2024 19:37 22s main
November 7, 2024 19:37 22s
Merge pull request #38 from stephenswat/tests/fixes
Build Tests #396: Commit 4720e3d pushed by stephenswat
November 7, 2024 19:37 11m 43s main
November 7, 2024 19:37 11m 43s
Fix a few out-of-bounds issues in tests
Code Checks #386: Pull request #38 opened by stephenswat
November 7, 2024 16:55 27s stephenswat:tests/fixes
November 7, 2024 16:55 27s
Fix a few out-of-bounds issues in tests
Build Tests #395: Pull request #38 opened by stephenswat
November 7, 2024 16:55 21m 29s stephenswat:tests/fixes
November 7, 2024 16:55 21m 29s
Merge pull request #37 from stephenswat/ci/gersemi
Build Tests #394: Commit f1732e6 pushed by stephenswat
November 7, 2024 16:46 13m 24s main
November 7, 2024 16:46 13m 24s