Skip to content

Actions: coq-community/awesome-coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
76 workflow runs
76 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #50: by github-pages bot
August 11, 2024 20:47 42s gh-pages
gh-pages
August 11, 2024 20:47 42s
add learn-x-in-y for Coq Deploy to GitHub Pages #69: Commit 7cb01b0 pushed by palmskog
August 11, 2024 20:47 12s master
master
August 11, 2024 20:47 12s
add learn-x-in-y for Coq Awesome Bot #100: Commit 7cb01b0 pushed by palmskog
August 11, 2024 20:47 3m 24s master
master
August 11, 2024 20:47 3m 24s
pages build and deployment pages-build-deployment #49: by github-pages bot
July 28, 2024 15:19 38s gh-pages
gh-pages
July 28, 2024 15:19 38s
refresh CI and fix some link names Deploy to GitHub Pages #68: Commit 71fd5cf pushed by palmskog
July 28, 2024 15:19 12s master
master
July 28, 2024 15:19 12s
refresh CI and fix some link names Awesome Bot #99: Commit 71fd5cf pushed by palmskog
July 28, 2024 15:19 3m 16s master
master
July 28, 2024 15:19 3m 16s
pages build and deployment pages-build-deployment #48: by github-pages bot
July 22, 2024 17:39 39s gh-pages
gh-pages
July 22, 2024 17:39 39s
updated URL for coq-tricks Awesome Bot #98: Commit 3c01b28 pushed by palmskog
July 22, 2024 17:30 12m 8s master
master
July 22, 2024 17:30 12m 8s
updated URL for coq-tricks Deploy to GitHub Pages #67: Commit 3c01b28 pushed by palmskog
July 22, 2024 17:30 9m 13s master
master
July 22, 2024 17:30 9m 13s
pages build and deployment pages-build-deployment #47: by github-pages bot
July 15, 2024 10:10 39s gh-pages
gh-pages
July 15, 2024 10:10 39s
Merge pull request #44 from robbertkrebbers/patch-1 Awesome Bot #97: Commit cc86ace pushed by palmskog
July 15, 2024 10:10 2m 42s master
master
July 15, 2024 10:10 2m 42s
Merge pull request #44 from robbertkrebbers/patch-1 Deploy to GitHub Pages #66: Commit cc86ace pushed by palmskog
July 15, 2024 10:10 14s master
master
July 15, 2024 10:10 14s
Add Program Verification course at Radboud University Nijmegen Awesome Bot #96: Pull request #44 synchronize by robbertkrebbers
July 15, 2024 09:47 3m 14s robbertkrebbers:patch-1
robbertkrebbers:patch-1
July 15, 2024 09:47 3m 14s
Add Program Verification course at Radboud University Nijmegen Deploy to GitHub Pages #65: Pull request #44 synchronize by robbertkrebbers
July 15, 2024 09:47 15s robbertkrebbers:patch-1
robbertkrebbers:patch-1
July 15, 2024 09:47 15s
Add Program Verification course at Radboud University Nijmegen Deploy to GitHub Pages #64: Pull request #44 opened by robbertkrebbers
July 15, 2024 09:36 13s robbertkrebbers:patch-1
robbertkrebbers:patch-1
July 15, 2024 09:36 13s
Add Program Verification course at Radboud University Nijmegen Awesome Bot #95: Pull request #44 opened by robbertkrebbers
July 15, 2024 09:36 2m 48s robbertkrebbers:patch-1
robbertkrebbers:patch-1
July 15, 2024 09:36 2m 48s
pages build and deployment pages-build-deployment #46: by github-pages bot
June 30, 2024 15:45 33s gh-pages
gh-pages
June 30, 2024 15:45 33s
fix url and order Deploy to GitHub Pages #63: Commit 75c0e2d pushed by palmskog
June 30, 2024 15:44 13s master
master
June 30, 2024 15:44 13s
fix url and order Awesome Bot #94: Commit 75c0e2d pushed by palmskog
June 30, 2024 15:44 3m 38s master
master
June 30, 2024 15:44 3m 38s
pages build and deployment pages-build-deployment #45: by github-pages bot
June 26, 2024 20:25 41s gh-pages
gh-pages
June 26, 2024 20:25 41s
add tactic guide Deploy to GitHub Pages #62: Commit c4b6a7d pushed by palmskog
June 26, 2024 20:25 13s master
master
June 26, 2024 20:25 13s
add tactic guide Awesome Bot #93: Commit c4b6a7d pushed by palmskog
June 26, 2024 20:25 3m 18s master
master
June 26, 2024 20:25 3m 18s
pages build and deployment pages-build-deployment #44: by github-pages bot
June 20, 2024 19:48 49s gh-pages
gh-pages
June 20, 2024 19:48 49s
fix CI and dead link Deploy to GitHub Pages #61: Commit 6e6e18c pushed by palmskog
June 20, 2024 19:48 15s master
master
June 20, 2024 19:48 15s
fix CI and dead link Awesome Bot #92: Commit 6e6e18c pushed by palmskog
June 20, 2024 19:48 2m 49s master
master
June 20, 2024 19:48 2m 49s