Skip to content

Actions: coq-community/awesome-coq

Actions

Awesome Bot

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 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
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
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
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
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
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 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
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
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
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
add karate-coq Awesome Bot #91: Commit 9a447ad pushed by palmskog
May 5, 2024 08:34 3m 50s master
master
May 5, 2024 08:34 3m 50s
Merge pull request #43 from erikmd/opam-switch-mode Awesome Bot #90: Commit b74e232 pushed by palmskog
March 5, 2024 07:50 2m 43s master
master
March 5, 2024 07:50 2m 43s
docs(README.md): Add opam-switch-mode Awesome Bot #89: Pull request #43 synchronize by palmskog
March 5, 2024 07:29 2m 40s erikmd:opam-switch-mode
erikmd:opam-switch-mode
March 5, 2024 07:29 2m 40s
docs(README.md): Add opam-switch-mode Awesome Bot #88: Pull request #43 opened by erikmd
March 4, 2024 22:46 2m 40s erikmd:opam-switch-mode
erikmd:opam-switch-mode
March 4, 2024 22:46 2m 40s
stable link for common criteria evaluations document Awesome Bot #87: Commit 0b4d6e8 pushed by palmskog
February 12, 2024 14:24 2m 36s master
master
February 12, 2024 14:24 2m 36s
new link to common criteria requirements Awesome Bot #86: Commit c2bde6c pushed by palmskog
February 6, 2024 16:00 2m 35s master
master
February 6, 2024 16:00 2m 35s
Merge pull request #41 from lthms/lthms-patch-blog Awesome Bot #85: Commit d49ccf2 pushed by palmskog
December 27, 2023 12:40 2m 42s master
master
December 27, 2023 12:40 2m 42s
Update Thomas Letan’s blog Awesome Bot #84: Pull request #41 opened by lthms
December 27, 2023 12:24 2m 39s lthms:lthms-patch-blog
lthms:lthms-patch-blog
December 27, 2023 12:24 2m 39s
use archival link for removed requirements document Awesome Bot #83: Commit a06a674 pushed by palmskog
November 30, 2023 12:33 3m 23s master
master
November 30, 2023 12:33 3m 23s
Merge pull request #40 from coq-community/fix-vscoq Awesome Bot #82: Commit 8bf12d8 pushed by palmskog
November 8, 2023 18:16 2m 22s master
master
November 8, 2023 18:16 2m 22s
Update VsCoq descriptions Awesome Bot #81: Pull request #40 synchronize by palmskog
November 8, 2023 18:10 3m 8s fix-vscoq
fix-vscoq
November 8, 2023 18:10 3m 8s
Update VsCoq descriptions Awesome Bot #80: Pull request #40 opened by palmskog
November 8, 2023 17:54 3m 3s fix-vscoq
fix-vscoq
November 8, 2023 17:54 3m 3s
Merge pull request #39 from coq-community/spitters-patch-1 Awesome Bot #79: Commit 765ea9f pushed by palmskog
November 8, 2023 17:46 3m 0s master
master
November 8, 2023 17:46 3m 0s