Skip to content

Actions: Certora/collections

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
65 workflow runs
65 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Missing punctuation Build and Test #13: Commit 86d2800 pushed by ericeil
October 23, 2023 21:39 1m 29s main
main
October 23, 2023 21:39 1m 29s
Update comments and readme (#4) Build and Test #12: Commit bf3d6a0 pushed by ericeil
October 23, 2023 21:36 1m 12s main
main
October 23, 2023 21:36 1m 12s
Update comments and readme Build and Test #11: Pull request #4 opened by ericeil
October 23, 2023 21:35 1m 25s eric/docs
eric/docs
October 23, 2023 21:35 1m 25s
Always get package version from the property, to prevent version inco… Build and Test #10: Commit 552a29a pushed by ericeil
October 17, 2023 20:17 3m 3s main
main
October 17, 2023 20:17 3m 3s
Add .editorconfig Build and Test #9: Commit 1fe9b3a pushed by ericeil
October 17, 2023 17:24 1m 49s main
main
October 17, 2023 17:24 1m 49s
Publish to GitHub Packages Publish to GitHub Packages #2: created by ericeil
October 16, 2023 20:32 2m 13s
October 16, 2023 20:32 2m 13s
Make empty collections serializable Build and Test #8: Commit 22127b4 pushed by ericeil
October 16, 2023 20:31 1m 41s main
main
October 16, 2023 20:31 1m 41s
Publish to GitHub Packages Publish to GitHub Packages #1: created by ericeil
October 16, 2023 19:00 2m 3s
October 16, 2023 19:00 2m 3s
Publication logic (#3) Build and Test #7: Commit c84eaf6 pushed by ericeil
October 16, 2023 18:45 1m 47s main
main
October 16, 2023 18:45 1m 47s
Publication logic Build and Test #6: Pull request #3 opened by ericeil
October 16, 2023 18:42 1m 22s eric/publish
eric/publish
October 16, 2023 18:42 1m 22s
Refactor and clean up code (#2) Build and Test #5: Commit 23ca7a4 pushed by ericeil
October 16, 2023 15:32 1m 47s main
main
October 16, 2023 15:32 1m 47s
Refactor and clean up code Build and Test #4: Pull request #2 synchronize by ericeil
October 16, 2023 15:30 1m 43s eric/cleanup
eric/cleanup
October 16, 2023 15:30 1m 43s
Refactor and clean up code Build and Test #3: Pull request #2 opened by ericeil
October 16, 2023 15:29 1m 30s eric/cleanup
eric/cleanup
October 16, 2023 15:29 1m 30s
Create build.yml (#1) Build and Test #2: Commit 50eedc3 pushed by ericeil
October 16, 2023 15:26 2m 19s main
main
October 16, 2023 15:26 2m 19s
Create build.yml Build and Test #1: Pull request #1 opened by ericeil
October 16, 2023 15:22 2m 43s eric/build
eric/build
October 16, 2023 15:22 2m 43s