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

Actions: hendriktews/PG

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
59 workflow runs
59 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 #296: Commit b05b93d pushed by hendriktews
June 30, 2025 11:00 23m 17s extend-long
extend-long
June 30, 2025 11:00 23m 17s
CI: add new test for extending/retracting with huge goals CI #295: Commit 7a9d5ea pushed by hendriktews
June 29, 2025 09:20 18m 17s extend-long
extend-long
June 29, 2025 09:20 18m 17 10000 s
generic: reset proof-shell-delayed-output-{start,end,flags} regularly CI #294: Commit f003572 pushed by hendriktews
June 9, 2025 21:02 19m 7s fix-delayed
fix-delayed
June 9, 2025 21:02 19m 7s
CI: add new tests for error messages at Qed CI #293: Commit a1b2941 pushed by hendriktews
June 9, 2025 16:52 20m 4s test-sec-error
test-sec-error
June 9, 2025 16:52 20m 4s
CI: add new tests for error messages at Qed CI #292: Commit 16e7fb4 pushed by hendriktews
June 9, 2025 16:14 21m 42s test-sec-error
test-sec-error
June 9, 2025 16:14 21m 42s
generic: reset proof-shell-delayed-output-{start,end,flags} regularly CI #291: Commit 51a2e8c pushed by hendriktews
June 2, 2025 14:48 20m 3s fix-delayed
fix-delayed
June 2, 2025 14:48 20m 3s
generic: reset proof-shell-delayed-output-{start,end,flags} regularly CI #290: Commit 6671c10 pushed by hendriktews
June 2, 2025 14:32 19m 37s fix-delayed
fix-delayed
June 2, 2025 14:32 19m 37s
fix response display in corner cases CI #289: Commit 0d7cca2 pushed by hendriktews
May 16, 2025 11:07 19m 8s fix-response
fix-response
May 16, 2025 11:07 19m 8s
fix response display in corner cases CI #288: Commit 2fab6ba pushed by hendriktews
May 15, 2025 20:57 20m 4s fix-response
fix-response
May 15, 2025 20:57 20m 4s
fix prooftree for Coq/Rocq running completely silent CI #287: Commit 41d0e20 pushed by hendriktews
May 14, 2025 11:45 23m 45s silent-2
silent-2
May 14, 2025 11:45 23m 45s
CI: add new tests for coq-Search and friends CI #286: Commit 211b0cc pushed by hendriktews
May 12, 2025 13:07 20m 25s response-test
response-test
May 12, 2025 13:07 20m 25s
CI: add new tests for coq-Search and friends CI #285: Commit 944029d pushed by hendriktews
May 11, 2025 20:47 20m 22s response-test
response-test
May 11, 2025 20:47 20m 22s
CI: add new tests for coq-Search and friends CI #284: Commit e2a5918 pushed by hendriktews
May 11, 2025 15:20 19m 30s response-test
response-test
May 11, 2025 15:20 19m 30s
fix prooftree for Coq/Rocq running completely silent CI #283: Commit cf3398a pushed by hendriktews
April 20, 2025 19:13 33m 37s silent-2
silent-2
April 20, 2025 19:13 33m 37s
fix prooftree for Coq/Rocq running completely silent CI #282: Commit 5bdedad pushed by hendriktews
April 20, 2025 19:12 18m 56s silent-2
silent-2
April 20, 2025 19:12 18m 56s
improve hints on splash; fix quick options saving CI #281: Commit 990e657 pushed by hendriktews
April 18, 2025 12:08 19m 3s splash
splash
April 18, 2025 12:08 19m 3s
CHANGES: remove wrongly merged note CI #280: Commit d78639a pushed by hendriktews
April 3, 2025 09:18 37m 25s fix-changes
fix-changes
April 3, 2025 09:18 37m 25s
CHANGES: remove wrongly merged note CI #279: Commit c2209db pushed by hendriktews
April 3, 2025 09:13 21m 34s fix-changes
fix-changes
April 3, 2025 09:13 21m 34s
proof-shell: Don't ask about killing the proof assistant on exit CI #278: Commit 1f9484f pushed by hendriktews
April 3, 2025 07:54 19m 55s kill-question
kill-question
April 3, 2025 07:54 19m 55s
CI: add Coq/Rocq 9.0.0, Emacs 30.1 and switch container infrastructure CI #277: Commit eb4555c pushed by hendriktews
April 2, 2025 08:06 18m 44s new-images
new-images
April 2, 2025 08:06 18m 44s
texi-docstring-magic.el: Fix regression in last change CI #276: Commit e237a3b pushed by hendriktews
April 2, 2025 07:35 23m 34s fix-magic
fix-magic
April 2, 2025 07:35 23m 34s
CI: add Coq/Rocq 9.0.0, Emacs 30.1 and switch container infrastructure CI #275: Commit 7811f38 pushed by hendriktews
April 1, 2025 12:11 21m 27s new-images
new-images
April 1, 2025 12:11 21m 27s
texi-docstring-magic.el: Fix regression in last change CI #274: Commit e03c0ef pushed by hendriktews
April 1, 2025 11:36 23m 40s fix-magic
fix-magic
April 1, 2025 11:36 23m 40s
CI: add Coq/Rocq 9.0.0, Emacs 30.1 and switch container infrastructure CI #273: Commit 6d153d0 pushed by hendriktews
March 31, 2025 15:40 17m 42s new-images
new-images
March 31, 2025 15:40 17m 42s
CI: add Coq/Rocq 9.0.0, Emacs 30.1 and switch container infrastructure CI #272: Commit 65b7a6e pushed by hendriktews
March 31, 2025 13:44 34m 9s new-images
new-images
March 31, 2025 13:44 34m 9s
0