Skip to content

Actions: rocq-community/awesome-coq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

WasmCert implements the Wasm 2.0 standard now Deploy to GitHub Pages #83: Pull request #48 opened by womeier
7s womeier:master
womeier:master
7s
WasmCert implements the Wasm 2.0 standard now Awesome Bot #114: Pull request #48 opened by womeier
2m 56s womeier:master
womeier:master
2m 56s
pages build and deployment pages-build-deployment #55: by github-pages bot
34s gh-pages
gh-pages
34s
Merge pull request #46 from lamg/master Deploy to GitHub Pages #82: Commit 6520b57 pushed by palmskog
8s master
master
8s
Merge pull request #46 from lamg/master Awesome Bot #113: Commit 6520b57 pushed by palmskog
2m 46s master
master
2m 46s
Adding tree-sitter-coq grammar Awesome Bot #112: Pull request #46 synchronize by lamg
2m 50s lamg:master
lamg:master
2m 50s
Adding tree-sitter-coq grammar Deploy to GitHub Pages #81: Pull request #46 synchronize by lamg
13s lamg:master
lamg:master
13s
Adding tree-sitter-coq grammar Deploy to GitHub Pages #80: Pull request #46 synchronize by lamg
7s lamg:master
lamg:master
7s
Adding tree-sitter-coq grammar Awesome Bot #111: Pull request #46 synchronize by lamg
2m 51s lamg:master
lamg:master
2m 51s
Adding tree-sitter-coq grammar Awesome Bot #110: Pull request #46 synchronize by lamg
2m 59s lamg:master
lamg:master
2m 59s
Adding tree-sitter-coq grammar Deploy to GitHub Pages #79: Pull request #46 synchronize by lamg
10s lamg:master
lamg:master
10s
pages build and deployment pages-build-deployment #54: by github-pages bot
32s gh-pages
gh-pages
32s
Merge pull request #47 from hoheinzollern/patch-1 Deploy to GitHub Pages #78: Commit 67f4085 pushed by palmskog
8s master
master
8s
Merge pull request #47 from hoheinzollern/patch-1 Awesome Bot #109: Commit 67f4085 pushed by palmskog
2m 41s master
master
2m 41s
Adding rocqnavi Awesome Bot #108: Pull request #47 synchronize by hoheinzollern
3m 1s hoheinzollern:patch-1
hoheinzollern:patch-1
3m 1s
Adding rocqnavi Deploy to GitHub Pages #77: Pull request #47 synchronize by hoheinzollern
8s hoheinzollern:patch-1
hoheinzollern:patch-1
8s
Adding tree-sitter-coq grammar Deploy to GitHub Pages #76: Pull request #46 synchronize by lamg
7s lamg:master
lamg:master
7s
Adding tree-sitter-coq grammar Awesome Bot #107: Pull request #46 synchronize by lamg
3m 24s lamg:master
lamg:master
3m 24s
Adding rocqnavi Deploy to GitHub Pages #75: Pull request #47 opened by hoheinzollern
11s hoheinzollern:patch-1
hoheinzollern:patch-1
11s
Adding rocqnavi Awesome Bot #106: Pull request #47 opened by hoheinzollern
3m 44s hoheinzollern:patch-1
hoheinzollern:patch-1
3m 44s
Adding tree-sitter-coq grammar Awesome Bot #105: Pull request #46 opened by lamg
3m 19s lamg:master
lamg:master
3m 19s
Adding tree-sitter-coq grammar Deploy to GitHub Pages #74: Pull request #46 opened by lamg
8s lamg:master
lamg:master
8s
pages build and deployment pages-build-deployment #53: by github-pages bot
37s gh-pages
gh-pages
37s
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