Skip to content

Actions: hendriktews/PG

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
129 workflow runs
129 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
proof-stat: admitted proofs count as failing CI #242: Commit 242a671 pushed by hendriktews
June 12, 2024 12:17 16m 38s omit-bullets
omit-bullets
June 12, 2024 12:17 16m 38s
proof-stat: admitted proofs should count as failing CI #241: Commit 9e9f499 pushed by hendriktews
June 12, 2024 09:43 16m 59s omit-bullets
omit-bullets
June 12, 2024 09:43 16m 59s
proof-stat: admitted proofs should count as failing CI #240: Commit 822c986 pushed by hendriktews
June 12, 2024 08:48 16m 58s omit-bullets
omit-bullets
June 12, 2024 08:48 16m 58s
omit-proofs: also omit proofs with bullets and braces CI #239: Commit e883e4a pushed by hendriktews
June 11, 2024 15:24 16m 55s omit-bullets
omit-bullets
June 11, 2024 15:24 16m 55s
omit-proofs tests: add new test for bullets and braces CI #238: Commit f5cde44 pushed by hendriktews
June 11, 2024 14:48 16m 59s omit-bullets
omit-bullets
June 11, 2024 14:48 16m 59s
add option to disable silent and switch back to old (buggy) behavior CI #237: Commit 46f6f40 pushed by hendriktews
May 12, 2024 13:37 16m 25s silent-2
silent-2
May 12, 2024 13:37 16m 25s