Skip to content

Actions: Certora/cloud-rel-public

Actions

Git Public Mirror

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
git_mirror.yml
21 workflow runs
21 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Create empty dir Git Public Mirror #21: Commit d2969cc pushed by H00N24
January 23, 2025 14:53 3s main
main
January 23, 2025 14:53 3s
Adding test Git Public Mirror #20: Commit 2621b4c pushed by H00N24
January 23, 2025 14:25 4s main
main
January 23, 2025 14:25 4s
Move file into tests_delete (#17) Git Public Mirror #19: Commit 6cf295e pushed by H00N24
January 21, 2025 13:22 2s main
main
January 21, 2025 13:22 2s
Add move_to_test case Git Public Mirror #18: Commit 7adac19 pushed by H00N24
January 21, 2025 13:21 2s main
main
January 21, 2025 13:21 2s
Remove debug Git Public Mirror #17: Commit 6b41d06 pushed by H00N24
January 21, 2025 12:42 2s main
main
January 21, 2025 12:42 2s
Fix test cases Git Public Mirror #16: Commit 32a00c7 pushed by H00N24
January 21, 2025 11:57 2s main
main
January 21, 2025 11:57 2s
Add feature and test files (#13) Git Public Mirror #15: Commit f779544 pushed by H00N24
January 21, 2025 11:52 2s main
main
January 21, 2025 11:52 2s
Add mixed addition case Git Public Mirror #14: Commit 895d41a pushed by H00N24
January 21, 2025 11:52 2s main
main
January 21, 2025 11:52 2s
Add test file (#12) Git Public Mirror #13: Commit 131b2dd pushed by H00N24
January 21, 2025 11:48 2s main
main
January 21, 2025 11:48 2s
Add test file (#11) Git Public Mirror #12: Commit 345e2de pushed by H00N24
January 21, 2025 11:47 1s main
main
January 21, 2025 11:47 1s
Add test addition case Git Public Mirror #11: Commit aa6eff1 pushed by H00N24
January 21, 2025 11:45 2s main
main
January 21, 2025 11:45 2s
Add permission Git Public Mirror #10: Commit 26a878d pushed by H00N24
January 21, 2025 11:42 2s main
main
January 21, 2025 11:42 2s
Add feature addition test Git Public Mirror #9: Commit 56a0b64 pushed by H00N24
January 21, 2025 11:42 2s main
main
January 21, 2025 11:42 2s
Add feature file (#9) Git Public Mirror #8: Commit ff914e4 pushed by H00N24
January 21, 2025 11:40 3s main
main
January 21, 2025 11:40 3s
Exclude some files Git Public Mirror #7: Commit e72c967 pushed by H00N24
January 21, 2025 09:37 3s main
main
January 21, 2025 09:37 3s
Test exclude Git Public Mirror #6: Commit 249f9c1 pushed by H00N24
January 21, 2025 09:31 3s main
main
January 21, 2025 09:31 3s
Remove test directories Git Public Mirror #5: Commit 0225763 pushed by H00N24
January 21, 2025 09:20 3s main
main
January 21, 2025 09:20 3s
Another file to create another commit Git Public Mirror #4: Commit 6856057 pushed by H00N24
January 21, 2025 09:16 3s main
main
January 21, 2025 09:16 3s
Direct push test Git Public Mirror #3: Commit 471d7ee pushed by H00N24
January 21, 2025 08:57 2s main
main
January 21, 2025 08:57 2s
Only on private Git Public Mirror #2: Commit 7f6091c pushed by H00N24
January 21, 2025 08:10 3s main
main
January 21, 2025 08:10 3s
Add git push Git Public Mirror #1: Commit 5f5e9c3 pushed by H00N24
January 21, 2025 08:08 12s main
main
January 21, 2025 08:08 12s