Skip to content

Actions: coq-community/coq-performance-tests

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
150 workflow runs
150 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
pages build and deployment pages-build-deployment #98: by github-pages bot
November 1, 2024 04:09 2m 37s
November 1, 2024 04:09 2m 37s
pages build and deployment pages-build-deployment #97: by github-pages bot
November 1, 2024 04:09 3s
November 1, 2024 04:09 3s
CI (Coq) CI (Coq) #601: Scheduled
November 1, 2024 00:43 3h 31m 2s master
master
November 1, 2024 00:43 3h 31m 2s
pages build and deployment pages-build-deployment #96: by github-pages bot
October 1, 2024 04:05 3m 7s
October 1, 2024 04:05 3m 7s
pages build and deployment pages-build-deployment #95: by github-pages bot
October 1, 2024 04:05 5s
October 1, 2024 04:05 5s
CI (Coq) CI (Coq) #600: Scheduled
October 1, 2024 00:43 3h 30m 59s master
master
October 1, 2024 00:43 3h 30m 59s
pages build and deployment pages-build-deployment #94: by github-pages bot
September 21, 2024 21:41 2m 53s
September 21, 2024 21:41 2m 53s
pages build and deployment pages-build-deployment #93: by github-pages bot
September 21, 2024 21:41 3s
September 21, 2024 21:41 3s
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
CI (Coq) CI (Coq) #587: Scheduled
August 1, 2024 00:38 1h 58m 52s master
master
August 1, 2024 00:38 1h 58m 52s
pages build and deployment pages-build-deployment #92: by github-pages bot
July 1, 2024 04:13 2m 45s
July 1, 2024 04:13 2m 45s
pages build and deployment pages-build-deployment #91: by github-pages bot
July 1, 2024 04:12 3s
July 1, 2024 04:12 3s
CI (Coq) CI (Coq) #586: Scheduled
July 1, 2024 00:38 3h 43m 9s master
master
July 1, 2024 00:38 3h 43m 9s