Skip to content

Actions: formalco/c1-baton-formal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

unrelated Setup repository #6: Commit a6bb234 pushed by ahmb84
April 11, 2024 09:04 1m 0s unrelated
unrelated
April 11, 2024 09:04 1m 0s
fix permissions Setup repository #5: Commit 0a6445a pushed by ahmb84
April 11, 2024 08:59 53s main
main
April 11, 2024 08:59 53s
change name Setup repository #4: Commit 0249519 pushed by ahmb84
April 11, 2024 08:52 58s main
main
April 11, 2024 08:52 58s
Merge pull request #1 from formalco/add-formal-information Setup repository #3: Commit 2b9a687 pushed by ahmb84
April 11, 2024 08:46 54s main
main
April 11, 2024 08:46 54s
add formal information Setup repository #2: Commit a637d8f pushed by ahmb84
April 11, 2024 08:37 49s add-formal-information
add-formal-information
April 11, 2024 08:37 49s
Initial commit Setup repository #1: Commit 828a0aa pushed by ahmb84
April 10, 2024 23:59 50s main
main
April 10, 2024 23:59 50s