Skip to content

Actions: sathninduk/goflow

Actions

Verita - Formal Specification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verita_formal.yml
8 workflow runs
8 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adding Verita workflow Verita - Formal Specification #8: Commit fc596ad pushed by sathninduk
October 4, 2024 21:45 31s main
main
October 4, 2024 21:45 31s
Adding Verita workflow Verita - Formal Specification #7: Commit cdf6157 pushed by sathninduk
October 4, 2024 21:45 29s main
main
October 4, 2024 21:45 29s
Delete .github/workflows/verita_cognitive.yml Verita - Formal Specification #6: Commit ee1629f pushed by sathninduk
October 4, 2024 21:41 28s main
main
October 4, 2024 21:41 28s
Adding Verita workflow Verita - Formal Specification #5: Commit d2ba952 pushed by sathninduk
October 4, 2024 21:34 32s main
main
October 4, 2024 21:34 32s
Adding Verita workflow Verita - Formal Specification #4: Commit e2e23e6 pushed by sathninduk
October 4, 2024 21:34 42s main
main
October 4, 2024 21:34 42s
Delete .github/workflows/verita_cognitive.yml Verita - Formal Specification #3: Commit 373478b pushed by sathninduk
October 4, 2024 21:34 27s main
main
October 4, 2024 21:34 27s
Adding Verita workflow Verita - Formal Specification #2: Commit b51c9c2 pushed by sathninduk
October 4, 2024 21:31 38s main
main
October 4, 2024 21:31 38s
Adding Verita workflow Verita - Formal Specification #1: Commit 84ececd pushed by sathninduk
October 4, 2024 21:31 27s main
main
October 4, 2024 21:31 27s