8000 Workflow runs · ProofGeneral/PG · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: ProofGeneral/PG

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
174 workflow runs
174 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: add new test for extending/retracting with huge goals CI #830: Pull request #837 synchronize by hendriktews
June 30, 2025 11:00 1m 42s hendriktews:extend-long
hendriktews:extend-long
June 30, 2025 11:00 1m 42s
CI: add new test for extending/retracting with huge goals CI #829: Pull request #837 opened by hendriktews
June 29, 2025 09:20 20m 12s hendriktews:extend-long
hendriktews:extend-long
June 29, 2025 09:20 20m 12s
Merge pull request #832 from hendriktews/fix-delayed CI #828: Commit 999cafb pushed by hendriktews
June 23, 2025 21:08 21m 21s master
master
June 23, 2025 21:08 21m 21s
Merge pull request #832 from hendriktews/fix-delayed Documentation #106: Commit 999cafb pushed by hendriktews
June 23, 2025 21:08 1m 24s master
master
June 23, 2025 21:08 1m 24s
Fix checkdoc warnings CI #827: Pull request #834 opened by MorganJamesSmith
June 12, 2025 19:47 Action required MorganJamesSmith:master
MorganJamesSmith:master
June 12, 2025 19:47 Action required
generic: reset proof-shell-delayed-output-{start,end,flags} regularly CI #826: Pull request #832 synchronize by hendriktews
June 9, 2025 21:03 3m 10s hendriktews:fix-delayed
hendriktews:fix-delayed
June 9, 2025 21:03 3m 10s
Merge pull request #833 from hendriktews/test-sec-error CI #825: Commit d4d2465 pushed by hendriktews
June 9, 2025 19:47 20m 17s master
master
June 9, 2025 19:47 20m 17s
Merge pull request #833 from hendriktews/test-sec-error Documentation #105: Commit d4d2465 pushed by hendriktews
June 9, 2025 19:47 53s master
master
June 9, 2025 19:47 53s
CI: add new tests for error messages at Qed CI #824: Pull request #833 synchronize by hendriktews
June 9, 2025 16:52 21m 23s hendriktews:test-sec-error
hendriktews:test-sec-error
June 9, 2025 16:52 21m 23s
CI: add new tests for error messages at Qed CI #823: Pull request #833 opened by hendriktews
June 9, 2025 16:15 20m 21s hendriktews:test-sec-error
hendriktews:test-sec-error
June 9, 2025 16:15 20m 21s
generic: reset proof-shell-delayed-output-{start,end,flags} regularly CI #822: Pull request #832 synchronize by hendriktews
June 2, 2025 14:48 19m 27s hendriktews:fix-delayed
hendriktews:fix-delayed
June 2, 2025 14:48 19m 27s
generic: reset proof-shell-delayed-output-{start,end,flags} regularly CI #821: Pull request #832 opened by hendriktews
June 2, 2025 14:32 13m 57s hendriktews:fix-delayed
hendriktews:fix-delayed
June 2, 2025 14:32 13m 57s
Merge pull request #831 from hendriktews/fix-response Documentation #104: Commit 964a595 pushed by hendriktews
May 27, 2025 14:39 51s master
master
May 27, 2025 14:39 51s
Merge pull request #831 from hendriktews/fix-response CI #820: Commit 964a595 pushed by hendriktews
May 27, 2025 14:39 26m 13s master
master
May 27, 2025 14:39 26m 13s
Fix response CI #819: Pull request #831 synchronize by hendriktews
May 16, 2025 11:07 19m 16s hendriktews:fix-response
hendriktews:fix-response
May 16, 2025 11:07 19m 16s
Merge pull request #762 from hendriktews/silent-2 CI #818: Commit f5d929e pushed by hendriktews
May 16, 2025 09:13 3m 17s master
master
May 16, 2025 09:13 3m 17s
Merge pull request #762 from hendriktews/silent-2 Documentation #103: Commit f5d929e pushed by hendriktews
May 16, 2025 09:13 49s master
master
May 16, 2025 09:13 49s
Fix response CI #817: Pull request #831 opened by hendriktews
May 15, 2025 20:58 18m 52s hendriktews:fix-response
hendriktews:fix-response
May 15, 2025 20:58 18m 52s
Coq: run silently and explicitly Show when necessary - second attempt CI #816: Pull request #762 synchronize by hendriktews
May 14, 2025 11:45 32m 41s hendriktews:silent-2
hendriktews:silent-2
May 14, 2025 11:45 32m 41s
Merge pull request #827 from hendriktews/response-test Documentation #102: Commit 2b1fe31 pushed by hendriktews
May 13, 2025 14:22 1m 37s master
master
May 13, 2025 14:22 1m 37s
Merge pull request #827 from hendriktews/response-test CI #815: Commit 2b1fe31 pushed by hendriktews
May 13, 2025 14:22 20m 2s master
master
May 13, 2025 14:22 20m 2s
CI: add new tests for coq-Search and friends CI #814: Pull request #827 synchronize by hendriktews
May 12, 2025 13:07 21m 5s hendriktews:response-test
hendriktews:response-test
May 12, 2025 13:07 21m 5s
CI: add new tests for coq-Search and friends CI #813: Pull request #827 synchronize by hendriktews
May 11, 2025 20:47 19m 4s hendriktews:response-test
hendriktews:response-test
May 11, 2025 20:47 19m 4s
CI: add new tests for coq-Search and friends CI #812: Pull request #827 opened by hendriktews
May 11, 2025 15:21 17m 35s hendriktews:response-test
hendriktews:response-test
May 11, 2025 15:21 17m 35s
Coq: run silently and explicitly Show when necessary - second attempt CI #811: Pull request #762 synchronize by hendriktews
April 20, 2025 19:13 2m 10s hendriktews:silent-2
hendriktews:silent-2
April 20, 2025 19:13 2m 10s
0