Skip to content

Actions: hendriktews/PG

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
131 workflow runs
131 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: add Coq/Rocq 9.0+rc1 CI #267: Commit 8f81694 pushed by hendriktews
January 30, 2025 12:33 22m 39s test-9
test-9
January 30, 2025 12:33 22m 39s
CI: add Coq 9.0+rc1 CI #266: Commit eae84b3 pushed by hendriktews
January 29, 2025 17:08 25m 59s test-9
test-9
January 29, 2025 17:08 25m 59s
CI: add Coq 9.0+rc1 CI #265: Commit e1d506c pushed by hendriktews
January 28, 2025 22:25 21m 59s test-9
test-9
January 28, 2025 22:25 21m 59s
CI: new tests for changing and undoing processed comments CI #264: Commit c22ba1a pushed by hendriktews
January 27, 2025 10:33 19m 31s comment-tests
comment-tests
January 27, 2025 10:33 19m 31s
CI: new tests for changing and undoing processed comments CI #263: Commit 2661038 pushed by hendriktews
January 26, 2025 21:39 17m 59s comment-tests
comment-tests
January 26, 2025 21:39 17m 59s
coq/generic: display empty strings in diagnostic messages CI #262: Commit b74806e pushed by hendriktews
January 25, 2025 14:10 18m 30s diagnostic
diagnostic
January 25, 2025 14:10 18m 30s
CI: replace Coq 8.20.0 with Coq 8.20.1 CI #261: Commit abdaa58 pushed by hendriktews
January 23, 2025 16:32 18m 52s ci-update
ci-update
January 23, 2025 16:32 18m 52s
coq/generic: display empty strings in diagnostic messages CI #260: Commit 31dd682 pushed by hendriktews
November 21, 2024 17:59 20m 51s diagnostic
diagnostic
November 21, 2024 17:59 20m 51s
par-compile: record and set current scripting buffer CI #259: Commit 224a938 pushed by hendriktews
November 12, 2024 16:31 20m 30s loc-par
loc-par
November 12, 2024 16:31 20m 30s
test that Coq background compilation is not affected by local variables CI #258: Commit c14e54f pushed by hendriktews
November 9, 2024 14:31 19m 55s loc-par
loc-par
November 9, 2024 14:31 19m 55s
test that Coq background compilation is not affected by local variables CI #257: Commit 71d3d24 pushed by hendriktews
November 9, 2024 13:58 22m 39s loc-par
loc-par
November 9, 2024 13:58 22m 39s
proof-shell: Don't ask about killing the proof assistant on exit CI #256: Commit ac5ae12 pushed by hendriktews
October 2, 2024 14:40 18m 54s kill-question
kill-question
October 2, 2024 14:40 18m 54s
CI: add Ubuntu 24 release; delete unused containers CI #255: Commit 88add4d pushed by hendriktews
October 2, 2024 13:53 19m 42s del-cont
del-cont
October 2, 2024 13:53 19m 42s
improve hints on splash; fix quick options saving CI #254: Commit 739ebaf pushed by hendriktews
October 2, 2024 11:22 18m 35s splash
splash
October 2, 2024 11:22 18m 35s
add option to disable silent and switch back to old (buggy) behavior CI #253: Commit 837fae8 pushed by hendriktews
September 30, 2024 11:29 34m 9s silent-2
silent-2
September 30, 2024 11:29 34m 9s
Coq: make printing parentheses/notations flags accessible CI #252: Commit 942720d pushed by hendriktews
September 30, 2024 11:28 16m 16s silent-2
silent-2
September 30, 2024 11:28 16m 16s
Coq: make printing parentheses/notations flags accessible CI #251: Commit d6598d1 pushed by hendriktews
September 12, 2024 14:15 19m 15s paren
paren
September 12, 2024 14:15 19m 15s
CI: add Coq 8.20 CI #250: Commit 5817902 pushed by hendriktews
September 7, 2024 15:59 19m 7s 8.20
8.20
September 7, 2024 15:59 19m 7s
Coq: make printing parentheses/notations flags accessible CI #249: Commit 1fd2a93 pushed by hendriktews
September 2, 2024 13:51 21m 42s paren
paren
September 2, 2024 13:51 21m 42s
Coq: make printing parentheses flag accessible CI #248: Commit 50c6137 pushed by hendriktews
September 2, 2024 11:58 21m 58s paren
paren
September 2, 2024 11:58 21m 58s
CI: add Coq 8.20+rc1 CI #247: Commit cfa44ee pushed by hendriktews
July 8, 2024 15:37 21m 15s ci-rc
ci-rc
July 8, 2024 15:37 21m 15s
CI: add Coq 8.20+rc1 CI #246: Commit 90ed547 pushed by hendriktews
July 6, 2024 19:56 21m 33s ci-rc
ci-rc
July 6, 2024 19:56 21m 33s
CI: update CI documentation and other minor improvements CI #245: Commit 5058318 pushed by hendriktews
July 3, 2024 20:15 16m 24s ci-update
ci-update
July 3, 2024 20:15 16m 24s
CI: update to Coq 8.19.2 and Emacs 29.4 CI #244: Commit c164b74 pushed by hendriktews
June 27, 2024 09:17 16m 49s ci-update
ci-update
June 27, 2024 09:17 16m 49s
proof-stat: admitted proofs count as failing CI #243: Commit b5241e8 pushed by hendriktews
June 19, 2024 08:23 16m 12s omit-bullets
omit-bullets
June 19, 2024 08:23 16m 12s