Skip to content

Actions: hendriktews/PG

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
130 workflow runs
130 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

omit-proofs: split command processing into two phases CI #181: Commit ad39c0c pushed by hendriktews
March 25, 2024 15:05 16m 6s proof-stat
proof-stat
March 25, 2024 15:05 16m 6s
omit-proofs: split command processing into two phases CI #180: Commit d7bdfb4 pushed by hendriktews
March 25, 2024 14:15 16m 12s proof-stat
proof-stat
March 25, 2024 14:15 16m 12s
coq: clear goals buffer after admitted CI #179: Commit 518211e pushed by hendriktews
March 23, 2024 22:02 16m 15s admitted-clear
admitted-clear
March 23, 2024 22:02 16m 15s
ci: fix goals present tests (commit a6bd8185) CI #178: Commit db9ef1e pushed by hendriktews
March 23, 2024 16:16 16m 43s fix-goals-tests
fix-goals-tests
March 23, 2024 16:16 16m 43s
coq: clear goals buffer after admitted CI #177: Commit 0602ccc pushed by hendriktews
March 22, 2024 22:00 20m 38s admitted-clear
admitted-clear
March 22, 2024 22:00 20m 38s
CI: store containers currently needed and adapt cipg -delete CI #176: Commit 4e90c87 pushed by hendriktews
March 17, 2024 15:19 15m 56s patch-level
patch-level
March 17, 2024 15:19 15m 56s
CI: do not artificially restrict parallel test execution CI #175: Commit 9714323 pushed by hendriktews
March 8, 2024 10:19 15m 15s no-max
no-max
March 8, 2024 10:19 15m 15s
CI test-goals-present: two more tests for resetting the goals buffer CI #174: Commit 9821415 pushed by hendriktews
March 8, 2024 09:51 20m 35s silent
silent
March 8, 2024 09:51 20m 35s
CI: test 8.19.1 instead of 8.19.0 CI #173: Commit 8b9bbd4 pushed by hendriktews
March 7, 2024 10:38 20m 29s ci-update
ci-update
March 7, 2024 10:38 20m 29s
fix tests for preceding commit CI #172: Commit afc09c7 pushed by hendriktews
March 3, 2024 20:43 34m 48s silent
silent
March 3, 2024 20:43 34m 48s
coq-tests: fix error introduced by Cyril Anaclet in 0ae25c5a CI #171: Commit 23ce99c pushed by hendriktews
March 3, 2024 20:42 34m 40s fix
fix
March 3, 2024 20:42 34m 40s
coq: run silently and explicitly Show when necessary CI #170: Commit d8fd9c4 pushed by hendriktews
March 2, 2024 17:14 22m 23s silent
silent
March 2, 2024 17:14 22m 23s
CHANGES: add entry for 9b38f844df79eaf77a64c82d21cfdc70351ccc03 CI #169: Commit 155b95a pushed by hendriktews
February 19, 2024 16:06 22m 45s changes
changes
February 19, 2024 16:06 22m 45s
proof-tree: protect against internal errors CI #168: Commit abac730 pushed by hendriktews
February 19, 2024 13:52 22m 35s prooftree-updates
prooftree-updates
February 19, 2024 13:52 22m 35s
proof-shell: document call graph CI #167: Commit eca785d pushed by hendriktews
February 18, 2024 20:49 22m 59s doc-call-graph
doc-call-graph
February 18, 2024 20:49 22m 59s
coq-par-compile: add user options for extra coqc/coqdep arguments CI #166: Commit 5eb383d pushed by hendriktews
February 10, 2024 14:09 22m 55s coqdep-options
coqdep-options
February 10, 2024 14:09 22m 55s
add tests for checking that goals are correctly shown CI #165: Commit 3fd2d96 pushed by hendriktews
February 7, 2024 08:25 22m 17s missing-goals
missing-goals
February 7, 2024 08:25 22m 17s
cipg: select only actively supported Emacs versions for Coq rc versions CI #164: Commit d36cee1 pushed by hendriktews
January 28, 2024 20:52 33m 43s active-rc
active-rc
January 28, 2024 20:52 33m 43s
add tests for checking that goals are correctly shown CI #163: Commit 410d1d9 pushed by hendriktews
January 28, 2024 20:51 33m 7s missing-goals
missing-goals
January 28, 2024 20:51 33m 7s
CI: test 8.19.0 instead of 8.19+rc1 CI #162: Commit 2db60d7 pushed by hendriktews
January 28, 2024 11:23 21m 49s ci-8-19-0
ci-8-19-0
January 28, 2024 11:23 21m 49s
add tests for checking that goals are correctly shown CI #161: Commit f0ccaf8 pushed by hendriktews
January 23, 2024 10:36 21m 53s missing-goals
missing-goals
January 23, 2024 10:36 21m 53s
doc: update documentation for recent omit-proofs changes CI #160: Commit ac6f65c pushed by hendriktews
January 22, 2024 16:33 22m 15s omit-let-fix
omit-let-fix
January 22, 2024 16:33 22m 15s
omit-proofs: handle commands that may have global effects CI #159: Commit a08ae93 pushed by hendriktews
January 22, 2024 08:44 21m 54s omit-hint-fix
omit-hint-fix
January 22, 2024 08:44 21m 54s
simple-tests/omit_test: fix Coq sources for 8.19 CI #158: Commit de8d752 pushed by hendriktews
January 21, 2024 21:59 21m 59s let-using
let-using
January 21, 2024 21:59 21m 59s
CI: update for Emacs 29.2 CI #157: Commit 3f12e4a pushed by hendriktews
January 21, 2024 20:01 21m 56s emacs-29-2
emacs-29-2
January 21, 2024 20:01 21m 56s