Skip to content

Actions: microsoft/verus-proof-synthesis

Actions

Deploy Leaderboard to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy-leaderboard.yml
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #42 from YangChenyuan/main Deploy Leaderboard to GitHub Pages #4: Commit 8519e3b pushed by arsene1995
34s main
main
34s
Merge pull request #41 from YangChenyuan/main Deploy Leaderboard to GitHub Pages #3: Commit 0786715 pushed by arsene1995
31s main
main
31s
Merge pull request #40 from YangChenyuan/main Deploy Leaderboard to GitHub Pages #2: Commit 797cdbb pushed by arsene1995
56s main
main
56s
Merge pull request #39 from YangChenyuan/leaderboard Deploy Leaderboard to GitHub Pages #1: Commit 96c540e pushed by arsene1995
15s main
main
15s