Skip to content

Actions: Subset-UCSD/demo-repository

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #1 from Subset-UCSD/add-badges-to-readme Proof HTML #4: Commit 989f168 pushed by NolanChai
January 6, 2025 00:36 21s main
main
January 6, 2025 00:36 21s
Add workflow badges to README Auto Assign #1: Pull request #1 opened by dowhep
January 5, 2025 05:19 18s add-badges-to-readme
add-badges-to-readme
January 5, 2025 05:19 18s
Initial commit Proof HTML #3: Commit 6bc6d8c pushed by Subset-UCSD
January 5, 2025 05:18 20s add-badges-to-readme
add-badges-to-readme
January 5, 2025 05:18 20s
Add workflow badges to README Proof HTML #2: Commit df56de7 pushed by dowhep
January 5, 2025 05:18 18s add-badges-to-readme
add-badges-to-readme
January 5, 2025 05:18 18s
Initial commit Proof HTML #1: Commit 6bc6d8c pushed by dowhep
January 5, 2025 05:18 19s main
main
January 5, 2025 05:18 19s