10000 Coq Tests · Workflow runs · whonore/Coqtail · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: whonore/Coqtail

Actions

Coq Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-tests.yml
61 workflow runs
61 workflow runs

Filter by Event

Filter by Status

10000

Filter by Branch

Filter by Actor

Use python 3.10 for CI, bump action versions (#389) Coq Tests #96: Commit 2834085 pushed by whonore
June 6, 2025 04:43 2m 47s main
main
June 6, 2025 04:43 2m 47s
Use python 3.10 for CI, bump action versions (#389) Coq Tests #95: Commit d539618 pushed by whonore
June 6, 2025 04:41 3m 10s main
main
June 6, 2025 04:41 3m 10s
Use python 3.10 for CI, bump action versions Coq Tests #94: Pull request #389 synchronize by whonore
June 6, 2025 04:41 3m 10s fix-actions
fix-actions
June 6, 2025 04:41 3m 10s
Use python 3.10 for CI, bump action versions Coq Tests #93: Pull request #389 synchronize by whonore
June 6, 2025 04:34 2m 19s fix-actions
fix-actions
June 6, 2025 04:34 2m 19s
Use python 3.10 for CI, bump action versions Coq Tests #92: Pull request #389 opened by whonore
June 6, 2025 04:27 7m 34s fix-actions
fix-actions
June 6, 2025 04:27 7m 34s
Fix RocqToggleDebug regressions (#388) Coq Tests #91: Commit 4293691 pushed by whonore
June 6, 2025 04:12 2s main
main
June 6, 2025 04:12 2s
10000
Fix test badges Coq Tests #90: Commit 262e4cf pushed by whonore
March 29, 2025 20:34 2m 4s main
main
March 29, 2025 20:34 2m 4s
Fix test badges Coq Tests #89: Commit 317c76b pushed by whonore
March 29, 2025 20:33 1m 4s main
main
March 29, 2025 20:33 1m 4s
Release 1.8.0 Coq Tests #88: Commit 764686a pushed by whonore
March 29, 2025 20:24 3m 31s main
main
March 29, 2025 20:24 3m 31s
Support Rocq 9.0 (#383) Coq Tests #87: Commit aade4e7 pushed by whonore
March 29, 2025 20:20 2m 33s main
main
March 29, 2025 20:20 2m 33s
Support Rocq 9.0 Coq Tests #86: Pull request #383 synchronize by whonore
March 29, 2025 20:16 1m 55s rocq-9
rocq-9
March 29, 2025 20:16 1m 55s
Support Rocq 9.0 Coq Tests #85: Pull request #383 opened by whonore
March 29, 2025 19:56 2m 47s rocq-9
rocq-9
March 29, 2025 19:56 2m 47s
Parse named goal selectors correctly Coq Tests #84: Commit 77ff3fa pushed by whonore
February 23, 2025 23:17 3m 15s main
main
February 23, 2025 23:17 3m 15s
Fix Set Default Proof Mode being ignored (#377) Coq Tests #83: Commit 9bd2a18 pushed by whonore
January 4, 2025 23:22 2m 42s main
main
January 4, 2025 23:22 2m 42s
Fix Set Default Proof Mode being ignored Coq Tests #82: Pull request #377 opened by whonore
January 4, 2025 23:19 1m 48s set-option-with-add
set-option-with-add
January 4, 2025 23:19 1m 48s
Fix CI (#376) Coq Tests #81: Commit 851130c pushed by whonore
January 4, 2025 23:17 3m 33s main
main
January 4, 2025 23:17 3m 33s
Appease mypy and pylint Coq Tests #80: Pull request #376 synchronize by whonore
January 4, 2025 23:14 1m 31s pylint-mypy
pylint-mypy
January 4, 2025 23:14 1m 31s
Appease mypy and pylint Coq Tests #79: Pull request #376 synchronize by whonore
January 4, 2025 23:11 48s pylint-mypy
pylint-mypy
January 4, 2025 23:11 48s
Appease mypy and pylint Coq Tests #78: Pull request #376 opened by whonore
January 4, 2025 22:38 2m 5s pylint-mypy
pylint-mypy
January 4, 2025 22:38 2m 5s
Coq 8.20 (#373) Coq Tests #77: Commit 299d0ac pushed by whonore
September 17, 2024 17:13 2m 6s main
main
September 17, 2024 17:13 2m 6s
Coq 8.20 Coq Tests #76: Pull request #373 synchronize by whonore
September 17, 2024 17:06 2m 7s coq-8.20
coq-8.20
September 17, 2024 17:06 2m 7s
Coq 8.20 Coq Tests #75: Pull request #373 opened by whonore
September 17, 2024 17:04 22s coq-8.20
coq-8.20
September 17, 2024 17:04 22s
Adapt to https://github.com/coq/coq/pull/19530 (#372) Coq Tests #74: Commit a582fba pushed by whonore
September 17, 2024 16:07 5m 11s main
main
September 17, 2024 16:07 5m 11s
Adapt to https://github.com/coq/coq/pull/19530 Coq Tests #73: Pull request #372 synchronize by whonore
September 17, 2024 15:58 4m 38s proux01:stdlib_repo
proux01:stdlib_repo
September 17, 2024 15:58 4m 38s
Adapt to https://github.com/coq/coq/pull/19530 Coq Tests #72: Pull request #372 opened by proux01
September 17, 2024 06:08 1m 55s proux01:stdlib_repo
proux01:stdlib_repo
September 17, 2024 06:08 1m 55s
0