Skip to content

Actions: rocq-community/awesome-coq

Actions

Awesome Bot

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
awesome-bot.yml
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

WasmCert implements the Wasm 2.0 standard now Awesome Bot #116: Pull request #48 synchronize by womeier
3m 21s womeier:master
womeier:master
3m 21s
Update and add some recent projects I've been involved with. Awesome Bot #115: Pull request #51 opened by ejgallego
3m 1s ejgallego-patch-1
ejgallego-patch-1
3m 1s
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
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 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
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 tree-sitter-coq grammar Awesome Bot #107: Pull request #46 synchronize by lamg
3m 24s lamg:master
lamg:master
3m 24s
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
switch Autosubst2 to autosubst-ocaml due to being maintained Awesome Bot #104: Commit 0ceca5b pushed by palmskog
3m 6s master
master
3m 6s
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 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