Skip to content

Actions: coq-community/awesome-coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
80 workflow runs
80 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #51: by github-pages bot
December 25, 2024 18:49 38s gh-pages
gh-pages
December 25, 2024 18:49 38s
Merge pull request #45 from coq-community/fix-books Deploy to GitHub Pages #72: Commit 608d995 pushed by palmskog
December 25, 2024 18:37 11m 55s master
master
December 25, 2024 18:37 11m 55s
Merge pull request #45 from coq-community/fix-books Awesome Bot #103: Commit 608d995 pushed by palmskog
December 25, 2024 18:37 15m 6s master
master
December 25, 2024 18:37 15m 6s
Book fixes Deploy to GitHub Pages #71: Pull request #45 synchronize by palmskog
December 25, 2024 18:11 7m 34s fix-books
fix-books
December 25, 2024 18:11 7m 34s
Book fixes Awesome Bot #102: Pull request #45 synchronize by palmskog
December 25, 2024 18:11 9m 48s fix-books
fix-books
December 25, 2024 18:11 9m 48s
Book fixes Awesome Bot #101: Pull request #45 opened by palmskog
December 25, 2024 17:53 15m 54s fix-books
fix-books
December 25, 2024 17:53 15m 54s
Book fixes Deploy to GitHub Pages #70: Pull request #45 opened by palmskog
December 25, 2024 17:53 12m 27s fix-books
fix-books
December 25, 2024 17:53 12m 27s
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