Skip to content

Actions: rocq-prover/vscoq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
776 workflow runs
776 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

build(deps-dev): bump vite from 2.9.18 to 4.5.13 in /client/pp-display .github/workflows/ci.yml #1613: Pull request #1080 opened by dependabot bot
April 11, 2025 20:11 10m 59s dependabot/npm_and_yarn/client/pp-display/vite-4.5.13
dependabot/npm_and_yarn/client/pp-display/vite-4.5.13
April 11, 2025 20:11 10m 59s
npm_and_yarn in for vite - Update #997213565 Dependabot Updates #76: by dependabot bot
April 11, 2025 20:10 56s main
main
April 11, 2025 20:10 56s
Rename extension .github/workflows/ci.yml #1612: Pull request #1078 synchronize by rtetley
April 11, 2025 15:57 20m 45s renaming
renaming
April 11, 2025 15:57 20m 45s
Rename extension .github/workflows/ci.yml #1611: Pull request #1078 synchronize by rtetley
April 11, 2025 13:22 1h 18m 4s renaming
renaming
April 11, 2025 13:22 1h 18m 4s
Rename extension .github/workflows/ci.yml #1610: Pull request #1078 synchronize by rtetley
April 11, 2025 12:55 1h 26m 13s renaming
renaming
April 11, 2025 12:55 1h 26m 13s
Rename extension .github/workflows/ci.yml #1609: Pull request #1078 synchronize by rtetley
April 11, 2025 07:36 19m 30s renaming
renaming
April 11, 2025 07:36 19m 30s
Rename extension .github/workflows/ci.yml #1608: Pull request #1078 synchronize by rtetley
April 10, 2025 14:02 30m 22s renaming
renaming
April 10, 2025 14:02 30m 22s
Rename extension .github/workflows/ci.yml #1607: Pull request #1078 synchronize by rtetley
April 9, 2025 13:01 12m 18s renaming
renaming
April 9, 2025 13:01 12m 18s
Rename extension .github/workflows/ci.yml #1606: Pull request #1078 synchronize by rtetley
April 9, 2025 08:20 24m 12s renaming
renaming
April 9, 2025 08:20 24m 12s
Rename extension .github/workflows/ci.yml #1605: Pull request #1078 opened by rtetley
April 8, 2025 08:09 24m 2s renaming
renaming
April 8, 2025 08:09 24m 2s
npm_and_yarn in for vite - Update #995027146 Dependabot Updates #75: by dependabot bot
April 8, 2025 07:47 4m 31s main
main
April 8, 2025 07:47 4m 31s
Merge pull request #1077 from rocq-prover/logos .github/workflows/ci.yml #1604: Commit af999e1 pushed by rtetley
April 8, 2025 07:47 15m 22s main
main
April 8, 2025 07:47 15m 22s
feat: change the logos to rocq .github/workflows/ci.yml #1603: Pull request #1077 opened by rtetley
April 7, 2025 14:01 15s logos
logos
April 7, 2025 14:01 15s
Merge pull request #1075 from thomas-lamiaux/patch-2 .github/workflows/ci.yml #1602: Commit 6055114 pushed by rtetley
April 7, 2025 13:24 8m 18s main
main
April 7, 2025 13:24 8m 18s
fix: remember to compare errored sentences in the diff .github/workflows/ci.yml #1601: Pull request #1063 synchronize by rtetley
April 7, 2025 13:19 13m 46s fix-diff
fix-diff
April 7, 2025 13:19 13m 46s
Merge pull request #1067 from SkySkimmer/nested-proofs-warn .github/workflows/ci.yml #1600: Commit 03d934c pushed by rtetley
April 7, 2025 12:13 10m 2s main
main
April 7, 2025 12:13 10m 2s
Add highlighting for "Ltac2" .github/workflows/ci.yml #1599: Pull request #1075 synchronize by thomas-lamiaux
April 7, 2025 11:42 10m 22s thomas-lamiaux:patch-2
thomas-lamiaux:patch-2
April 7, 2025 11:42 10m 22s
Ignore nested proofs option instead of failing with anomaly .github/workflows/ci.yml #1598: Pull request #1067 synchronize by SkySkimmer
April 7, 2025 09:18 8m 20s SkySkimmer:nested-proofs-warn
SkySkimmer:nested-proofs-warn
April 7, 2025 09:18 8m 20s
Merge pull request #1076 from rocq-prover/fix-flake .github/workflows/ci.yml #1597: Commit df20b6f pushed by rtetley
April 7, 2025 07:55 9m 19s main
main
April 7, 2025 07:55 9m 19s
fix: update rocq pin in flake.nix .github/workflows/ci.yml #1596: Pull request #1076 opened by rtetley
April 7, 2025 07:42 11m 53s fix-flake
fix-flake
April 7, 2025 07:42 11m 53s
Add highlighting for "Ltac2" .github/workflows/ci.yml #1595: Pull request #1075 opened by thomas-lamiaux
April 5, 2025 23:01 10m 27s thomas-lamiaux:patch-2
thomas-lamiaux:patch-2
April 5, 2025 23:01 10m 27s
build(deps-dev): bump vite from 2.9.18 to 4.5.12 in /client/pp-display .github/workflows/ci.yml #1594: Pull request #1074 opened by dependabot bot
April 4, 2025 21:09 11m 5s dependabot/npm_and_yarn/client/pp-display/vite-4.5.12
dependabot/npm_and_yarn/client/pp-display/vite-4.5.12
April 4, 2025 21:09 11m 5s
npm_and_yarn in for vite - Update #993363965 Dependabot Updates #74: by dependabot bot
April 4, 2025 21:08 54s main
main
April 4, 2025 21:08 54s
build(deps): bump tar-fs from 2.1.1 to 2.1.2 in /client .github/workflows/ci.yml #1593: Pull request #1070 opened by dependabot bot
March 28, 2025 22:22 10m 5s dependabot/npm_and_yarn/client/tar-fs-2.1.2
dependabot/npm_and_yarn/client/tar-fs-2.1.2
March 28, 2025 22:22 10m 5s
npm_and_yarn in for tar-fs - Update #988752364 Dependabot Updates #73: by dependabot bot
March 28, 2025 22:21 1m 0s main
main
March 28, 2025 22:21 1m 0s