Skip to content

Actions: rocq-community/coq-performance-tests

Actions

CI (Coq)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq.yml
This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days. Enable this workflow to resume scheduled runs.
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI (Coq) CI (Coq) #612: Scheduled
June 1, 2025 00:58 3h 29m 27s master
master
June 1, 2025 00:58 3h 29m 27s
CI (Coq) CI (Coq) #611: Scheduled
May 1, 2025 00:52 3h 43m 21s master
master
May 1, 2025 00:52 3h 43m 21s
CI (Coq) CI (Coq) #610: Scheduled
April 1, 2025 00:51 3h 36m 21s master
master
April 1, 2025 00:51 3h 36m 21s
Bump webfactory/ssh-agent from 0.9.0 to 0.9.1 (#49) CI (Coq) #609: Commit 940baa2 pushed by JasonGross
March 18, 2025 13:33 3h 35m 48s master
master
March 18, 2025 13:33 3h 35m 48s
Bump webfactory/ssh-agent from 0.9.0 to 0.9.1 CI (Coq) #608: Pull request #49 opened by dependabot bot
March 18, 2025 10:11 3h 21m 30s dependabot/github_actions/webfactory/ssh-agent-0.9.1
dependabot/github_actions/webfactory/ssh-agent-0.9.1
March 18, 2025 10:11 3h 21m 30s
CI (Coq) CI (Coq) #607: Scheduled
March 1, 2025 00:44 3h 30m 10s master
master
March 1, 2025 00:44 3h 30m 10s
CI (Coq) CI (Coq) #606: Scheduled
February 1, 2025 00:42 3h 57m 1s master
master
February 1, 2025 00:42 3h 57m 1s
add missing nounfold for Qeq_bool in Sample.v (#48) CI (Coq) #605: Commit 0e14c7b pushed by JasonGross
January 4, 2025 14:35 3h 36m 54s master
master
January 4, 2025 14:35 3h 36m 54s
CI (Coq) CI (Coq) #604: Scheduled
January 1, 2025 00:44 3h 31m 19s master
master
January 1, 2025 00:44 3h 31m 19s
CI (Coq) CI (Coq) #603: Scheduled
December 1, 2024 00:52 3h 31m 36s master
master
December 1, 2024 00:52 3h 31m 36s
add missing nounfold for Qeq_bool in Sample.v (for coq/coq##19801) CI (Coq) #602: Pull request #48 opened by andres-erbsen
November 3, 2024 16:20 3h 23m 1s andres-erbsen:less-ZArith_base
andres-erbsen:less-ZArith_base
November 3, 2024 16:20 3h 23m 1s
CI (Coq) CI (Coq) #601: Scheduled
November 1, 2024 00:43 3h 31m 2s master
master
November 1, 2024 00:43 3h 31m 2s
CI (Coq) CI (Coq) #600: Scheduled
October 1, 2024 00:43 3h 30m 59s master
master
October 1, 2024 00:43 3h 30m 59s
Adapt to https://github.com/coq/coq/pull/19530 (#47) CI (Coq) #599: Commit d9d85c8 pushed by JasonGross
September 21, 2024 18:19 3h 30m 29s master
master
September 21, 2024 18:19 3h 30m 29s
Adapt to https://github.com/coq/coq/pull/19530 CI (Coq) #598: Pull request #47 synchronize by JasonGross
September 21, 2024 08:53 5h 52m 16s proux01:stdlib_repo
proux01:stdlib_repo
September 21, 2024 08:53 5h 52m 16s
Use endlinechar instead of redefining par, as per Claude's suggestion CI (Coq) #597: Commit c0b15f5 pushed by JasonGross
September 21, 2024 08:52 3h 15m 14s master
master
September 21, 2024 08:52 3h 15m 14s
Adapt to https://github.com/coq/coq/pull/19530 CI (Coq) #596: Pull request #47 synchronize by JasonGross
September 20, 2024 21:33 2h 55m 59s proux01:stdlib_repo
proux01:stdlib_repo
September 20, 2024 21:33 2h 55m 59s
Hopefully fix permission errors on native compute profiles CI (Coq) #595: Commit e523216 pushed by JasonGross
September 20, 2024 21:32 1h 58m 18s master
master
September 20, 2024 21:32 1h 58m 18s
Adapt to https://github.com/coq/coq/pull/19530 CI (Coq) #594: Pull request #47 synchronize by JasonGross
September 20, 2024 08:48 2h 36m 19s proux01:stdlib_repo
proux01:stdlib_repo
September 20, 2024 08:48 2h 36m 19s
Upload all generated files if build fails CI (Coq) #593: Commit 74b3048 pushed by JasonGross
September 20, 2024 04:32 5h 12m 6s master
master
September 20, 2024 04:32 5h 12m 6s
Adapt to https://github.com/coq/coq/pull/19530 CI (Coq) #592: Pull request #47 synchronize by JasonGross
September 20, 2024 04:26 4h 12m 47s proux01:stdlib_repo
proux01:stdlib_repo
September 20, 2024 04:26 4h 12m 47s
Upload PerformanceExperiments for debugging if job fails CI (Coq) #591: Commit 52c8b0b pushed by JasonGross
September 20, 2024 04:25 3h 21m 4s master
master
September 20, 2024 04:25 3h 21m 4s
Add support for Mac CI (Coq) #590: Commit d9618e1 pushed by JasonGross
September 20, 2024 04:12 3h 32m 0s master
master
September 20, 2024 04:12 3h 32m 0s
Adapt to https://github.com/coq/coq/pull/19530 CI (Coq) #589: Pull request #47 opened by proux01
September 17, 2024 11:22 1h 59m 21s proux01:stdlib_repo
proux01:stdlib_repo
September 17, 2024 11:22 1h 59m 21s
CI (Coq) CI (Coq) #588: Scheduled
September 1, 2024 00:43 1h 57m 49s master
master
September 1, 2024 00:43 1h 57m 49s