| CARVIEW |
Select Language
HTTP/2 200
date: Thu, 31 Jul 2025 11:24:54 GMT
content-type: text/html; charset=utf-8
vary: X-PJAX, X-PJAX-Container, Turbo-Visit, Turbo-Frame, X-Requested-With,Accept-Encoding, Accept, X-Requested-With
etag: W/"0f714f70df324aa7d4cb02bb89964b06"
cache-control: max-age=0, private, must-revalidate
strict-transport-security: max-age=31536000; includeSubdomains; preload
x-frame-options: deny
x-content-type-options: nosniff
x-xss-protection: 0
referrer-policy: no-referrer-when-downgrade
content-security-policy: default-src 'none'; base-uri 'self'; child-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/; connect-src 'self' uploads.github.com www.githubstatus.com collector.github.com raw.githubusercontent.com api.github.com github-cloud.s3.amazonaws.com github-production-repository-file-5c1aeb.s3.amazonaws.com github-production-upload-manifest-file-7fdce7.s3.amazonaws.com github-production-user-asset-6210df.s3.amazonaws.com *.rel.tunnels.api.visualstudio.com wss://*.rel.tunnels.api.visualstudio.com objects-origin.githubusercontent.com copilot-proxy.githubusercontent.com proxy.individual.githubcopilot.com proxy.business.githubcopilot.com proxy.enterprise.githubcopilot.com *.actions.githubusercontent.com wss://*.actions.githubusercontent.com productionresultssa0.blob.core.windows.net/ productionresultssa1.blob.core.windows.net/ productionresultssa2.blob.core.windows.net/ productionresultssa3.blob.core.windows.net/ productionresultssa4.blob.core.windows.net/ productionresultssa5.blob.core.windows.net/ productionresultssa6.blob.core.windows.net/ productionresultssa7.blob.core.windows.net/ productionresultssa8.blob.core.windows.net/ productionresultssa9.blob.core.windows.net/ productionresultssa10.blob.core.windows.net/ productionresultssa11.blob.core.windows.net/ productionresultssa12.blob.core.windows.net/ productionresultssa13.blob.core.windows.net/ productionresultssa14.blob.core.windows.net/ productionresultssa15.blob.core.windows.net/ productionresultssa16.blob.core.windows.net/ productionresultssa17.blob.core.windows.net/ productionresultssa18.blob.core.windows.net/ productionresultssa19.blob.core.windows.net/ github-production-repository-image-32fea6.s3.amazonaws.com github-production-release-asset-2e65be.s3.amazonaws.com insights.github.com wss://alive.github.com wss://alive-staging.github.com api.githubcopilot.com api.individual.githubcopilot.com api.business.githubcopilot.com api.enterprise.githubcopilot.com; font-src github.githubassets.com; form-action 'self' github.com gist.github.com copilot-workspace.githubnext.com objects-origin.githubusercontent.com; frame-ancestors 'none'; frame-src viewscreen.githubusercontent.com notebooks.githubusercontent.com; img-src 'self' data: blob: github.githubassets.com media.githubusercontent.com camo.githubusercontent.com identicons.github.com avatars.githubusercontent.com private-avatars.githubusercontent.com github-cloud.s3.amazonaws.com objects.githubusercontent.com release-assets.githubusercontent.com secured-user-images.githubusercontent.com/ user-images.githubusercontent.com/ private-user-images.githubusercontent.com opengraph.githubassets.com copilotprodattachments.blob.core.windows.net/github-production-copilot-attachments/ github-production-user-asset-6210df.s3.amazonaws.com customer-stories-feed.github.com spotlights-feed.github.com objects-origin.githubusercontent.com *.githubusercontent.com; manifest-src 'self'; media-src github.com user-images.githubusercontent.com/ secured-user-images.githubusercontent.com/ private-user-images.githubusercontent.com github-production-user-asset-6210df.s3.amazonaws.com gist.github.com; script-src github.githubassets.com; style-src 'unsafe-inline' github.githubassets.com; upgrade-insecure-requests; worker-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/
server: github.com
content-encoding: gzip
accept-ranges: bytes
set-cookie: _gh_sess=jTx852Sd3sGb2fH0u8ssMF2RCNPzjbQJt3txo4hNEXod6kUtETc1bNeMK4OmheBYMqKyZK%2Fkv%2Fw43eQxAkHCJw9xLwb4vENzaVraL6l1Q%2F1tRkMfeuD9%2Fu0fDJVvV%2BTbU9QAQ%2FPF0Ipec%2Blo1zl8Omf5MpPXg7iKSHkskShmL9rBO2LqTc54vHL%2FSKsddszzQouEVEU7L1HHeZbCgpH8e67Rjo6SEw1GTyTLGHse2OKk7koRQdC8IcYBQomkDSFA6oUhAQBD4WObxhCyyeak6w%3D%3D--hq5Lw%2BApWJ5d%2BU7I--12SjpPH8ilP489UBL4CQng%3D%3D; Path=/; HttpOnly; Secure; SameSite=Lax
set-cookie: _octo=GH1.1.2057527130.1753961093; Path=/; Domain=github.com; Expires=Fri, 31 Jul 2026 11:24:53 GMT; Secure; SameSite=Lax
set-cookie: logged_in=no; Path=/; Domain=github.com; Expires=Fri, 31 Jul 2026 11:24:53 GMT; HttpOnly; Secure; SameSite=Lax
x-github-request-id: D426:4E82A:910BBE:AD6BEF:688B5285
Python Tests · Workflow runs · whonore/Coqtail · GitHub
Show workflow options
Fix mypy warning about server_address (#399)
Python Tests
#104:
Commit 192e405
pushed
by
whonore
July 20, 2025 18:37
17s
Fix mypy warning about server_address
Python Tests
#103:
Pull request #399
opened
by
whonore
July 20, 2025 18:36
18s
Fix :q while Rocq is running (#398)
Python Tests
#102:
Commit 1cd331a
pushed
by
whonore
July 20, 2025 18:17
19s
support _RocqProject
Python Tests
#101:
Commit d7cef56
pushed
by
whonore
July 9, 2025 03:35
16s
Use python 3.10 for CI, bump action versions (#389)
Python Tests
#100:
Commit 2834085
pushed
by
whonore
June 6, 2025 04:43
22s
Use python 3.10 for CI, bump action versions (#389)
Python Tests
#99:
Commit d539618
pushed
by
whonore
June 6, 2025 04:41
1m 10s
Use python 3.10 for CI, bump action versions
Python Tests
#98:
Pull request #389
synchronize
by
whonore
June 6, 2025 04:41
16s
Use python 3.10 for CI, bump action versions
Python Tests
#97:
Pull request #389
synchronize
by
whonore
June 6, 2025 04:34
17s
Use python 3.10 for CI, bump action versions
Python Tests
#96:
Pull request #389
opened
by
whonore
June 6, 2025 04:27
18s
Fix RocqToggleDebug regressions (#388)
Python Tests
#95:
Commit 4293691
pushed
by
whonore
June 6, 2025 04:12
1s
Fix RocqToggleDebug regressions
Python Tests
#94:
Pull request #388
opened
by
whonore
June 6, 2025 04:10
1s
March 29, 2025 20:34
22s
March 29, 2025 20:33
26s
March 29, 2025 20:24
2m 15s
Support Rocq 9.0 (#383)
Python Tests
#90:
Commit aade4e7
pushed
by
whonore
March 29, 2025 20:20
23s
Support Rocq 9.0
Python Tests
#89:
Pull request #383
synchronize
by
whonore
March 29, 2025 20:16
25s
Support Rocq 9.0
Python Tests
#88:
Pull request #383
opened
by
whonore
March 29, 2025 19:56
55s
Parse named goal selectors correctly
Python Tests
#87:
Commit 77ff3fa
pushed
by
whonore
February 23, 2025 23:17
25s
Parse named goal selectors correctly
Python Tests
#86:
Pull request #380
opened
by
whonore
February 23, 2025 23:14
26s
Fix
January 4, 2025 23:22
29s
Fix
January 4, 2025 23:19
26s
January 4, 2025 23:17
27s
Appease mypy and pylint
Python Tests
#82:
Pull request #376
synchronize
by
whonore
January 4, 2025 23:14
28s
Appease mypy and pylint
Python Tests
#81:
Pull request #376
synchronize
by
whonore
January 4, 2025 23:11
25s
Appease mypy and pylint
Python Tests
#80:
Pull request #376
opened
by
whonore
January 4, 2025 22:38
29s
Skip to content
Navigation Menu
{{ message }}
-
Notifications
You must be signed in to change notification settings - Fork 37
Actions: whonore/Coqtail
Actions
Python Tests
Actions
Loading...
Loading
Sorry, something went wrong.
Actions
Loading...
LoadingSorry, something went wrong.
46 workflow runs
46 workflow runs
Set Default Proof Mode being ignored (#377)
Python Tests
#85:
Commit 9bd2a18
pushed
by
whonore
Set Default Proof Mode being ignored
Python Tests
#84:
Pull request #377
opened
by
whonore
You can’t perform that action at this time.