Skip to content

Actions: rocq-community/awesome-coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #52: by github-pages bot
33s gh-pages
gh-pages
33s
switch Autosubst2 to autosubst-ocaml due to being maintained Deploy to GitHub Pages #73: Commit 0ceca5b pushed by palmskog
13s master
master
13s
switch Autosubst2 to autosubst-ocaml due to being maintained Awesome Bot #104: Commit 0ceca5b pushed by palmskog
3m 6s master
master
3m 6s
pages build and deployment pages-build-deployment #51: by github-pages bot
38s gh-pages
gh-pages
38s
Merge pull request #45 from coq-community/fix-books Deploy to GitHub Pages #72: Commit 608d995 pushed by palmskog
11m 55s master
master
11m 55s
Merge pull request #45 from coq-community/fix-books Awesome Bot #103: Commit 608d995 pushed by palmskog
15m 6s master
master
15m 6s
Book fixes Deploy to GitHub Pages #71: Pull request #45 synchronize by palmskog
7m 34s fix-books
fix-books
7m 34s
Book fixes Awesome Bot #102: Pull request #45 synchronize by palmskog
9m 48s fix-books
fix-books
9m 48s
Book fixes Awesome Bot #101: Pull request #45 opened by palmskog
15m 54s fix-books
fix-books
15m 54s
Book fixes Deploy to GitHub Pages #70: Pull request #45 opened by palmskog
12m 27s fix-books
fix-books
12m 27s