Skip to content

Actions: coq-community/coq-performance-tests

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
142 workflow runs
142 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #67: by github-pages bot
January 1, 2024 03:58 4s gh-pages
gh-pages
January 1, 2024 03:58 4s
CI (Coq) CI (Coq) #560: Scheduled
January 1, 2024 00:34 3h 34m 41s master
master
January 1, 2024 00:34 3h 34m 41s
pages build and deployment pages-build-deployment #66: by github-pages bot
December 16, 2023 10:54 3m 59s gh-pages
gh-pages
December 16, 2023 10:54 3m 59s
pages build and deployment pages-build-deployment #65: by github-pages bot
December 16, 2023 10:54 2s gh-pages
gh-pages
December 16, 2023 10:54 2s
Bump actions/download-artifact and actions/upload-artifact from 3 to … CI (Coq) #559: Commit 3e08163 pushed by JasonGross
December 16, 2023 07:31 3h 28m 11s master
master
December 16, 2023 07:31 3h 28m 11s
Bump actions/download-artifact from 3 to 4 CI (Coq) #558: Pull request #38 synchronize by JasonGross
December 15, 2023 16:29 5h 10m 9s dependabot/github_actions/actions/download-artifact-4
dependabot/github_actions/actions/download-artifact-4
December 15, 2023 16:29 5h 10m 9s
Bump actions/upload-artifact from 3 to 4 (#39) CI (Coq) #557: Commit 5462873 pushed by dependabot bot
December 15, 2023 16:09 4h 42m 34s master
master
December 15, 2023 16:09 4h 42m 34s
Bump actions/download-artifact and actions/upload-artifact from 3 to 4 CI (Coq) #556: Pull request #40 synchronize by JasonGross
December 15, 2023 15:36 3h 36m 43s upload-download
upload-download
December 15, 2023 15:36 3h 36m 43s
Bump actions/download-artifact and actions/upload-artifact from 3 to 4 CI (Coq) #555: Pull request #40 opened by JasonGross
December 15, 2023 15:35 45s upload-download
upload-download
December 15, 2023 15:35 45s
Bump actions/upload-artifact from 3 to 4 CI (Coq) #554: Pull request #39 opened by dependabot bot
December 15, 2023 10:50 5h 17m 15s dependabot/github_actions/actions/upload-artifact-4
dependabot/github_actions/actions/upload-artifact-4
December 15, 2023 10:50 5h 17m 15s
Bump actions/download-artifact from 3 to 4 CI (Coq) #553: Pull request #38 opened by dependabot bot
December 15, 2023 10:50 3h 19m 29s dependabot/github_actions/actions/download-artifact-4
dependabot/github_actions/actions/download-artifact-4
December 15, 2023 10:50 3h 19m 29s
pages build and deployment pages-build-deployment #64: by github-pages bot
December 6, 2023 23:38 4m 52s gh-pages
gh-pages
December 6, 2023 23:38 4m 52s
pages build and deployment pages-build-deployment #63: by github-pages bot
December 6, 2023 23:38 7s gh-pages
gh-pages
December 6, 2023 23:38 7s
Less verbose logs in fiat_crypto_via_setoid_rewrite_standalone.v CI (Coq) #552: Commit e3bd728 pushed by JasonGross
December 6, 2023 19:55 3h 48m 9s master
master
December 6, 2023 19:55 3h 48m 9s
pages build and deployment pages-build-deployment #62: by github-pages bot
December 1, 2023 04:09 3m 34s gh-pages
gh-pages
December 1, 2023 04:09 3m 34s
pages build and deployment pages-build-deployment #61: by github-pages bot
December 1, 2023 04:09 3s gh-pages
gh-pages
December 1, 2023 04:09 3s
CI (Coq) CI (Coq) #551: Scheduled
December 1, 2023 00:33 3h 40m 26s master
master
December 1, 2023 00:33 3h 40m 26s