Skip to content

Actions: Subset-UCSD/demo-repository

Actions

Proof HTML

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
proof-html.yml
4 workflow runs
4 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
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