Skip to content

Actions: ProofGeneral/PG

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
212 workflow runs
212 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

coq-tests: fix error introduced by Cyril Anaclet in 0ae25c5a CI #587: Pull request #743 opened by hendriktews
March 3, 2024 20:42 35m 16s hendriktews:fix
hendriktews:fix
March 3, 2024 20:42 35m 16s
coq: run silently and explicitly Show when necessary CI #586: Pull request #742 opened by hendriktews
March 2, 2024 17:16 22m 14s hendriktews:silent
hendriktews:silent
March 2, 2024 17:16 22m 14s
proof-tree: protect against internal errors CI #585: Commit 1f07248 pushed by hendriktews
February 23, 2024 14:05 22m 36s master
master
February 23, 2024 14:05 22m 36s
CHANGES: add entry for 9b38f844df79eaf77a64c82d21cfdc70351ccc03 CI #583: Pull request #740 opened by hendriktews
February 19, 2024 16:06 23m 1s hendriktews:changes
hendriktews:changes
February 19, 2024 16:06 23m 1s
Prooftree updates CI #582: Pull request #439 synchronize by hendriktews
February 19, 2024 13:52 30m 57s hendriktews:prooftree-updates
hendriktews:prooftree-updates
February 19, 2024 13:52 30m 57s
proof-shell: document call graph CI #581: Commit 4814efb pushed by hendriktews
February 19, 2024 13:47 35m 11s master
master
February 19, 2024 13:47 35m 11s
proof-shell: document call graph CI #580: Pull request #739 opened by hendriktews
February 18, 2024 20:49 22m 43s hendriktews:doc-call-graph
hendriktews:doc-call-graph
February 18, 2024 20:49 22m 43s
add tests for checking that goals are correctly shown CI #579: Commit a6bd818 pushed by hendriktews
February 18, 2024 09:46 35m 6s master
master
February 18, 2024 09:46 35m 6s
coq-par-compile: add user options for extra coqc/coqdep arguments CI #578: Commit 9b38f84 pushed by hendriktews
February 18, 2024 09:46 35m 2s master
master
February 18, 2024 09:46 35m 2s
Avoid evaluating void variables CI #577: Pull request #737 opened by haselwarter
February 13, 2024 13:45 22m 57s haselwarter:guard-void-variable-access
haselwarter:guard-void-variable-access
February 13, 2024 13:45 22m 57s
coq-par-compile: add user options for extra coqc/coqdep arguments CI #576: Pull request #735 opened by hendriktews
February 10, 2024 14:09 22m 44s hendriktews:coqdep-options
hendriktews:coqdep-options
February 10, 2024 14:09 22m 44s
add tests for checking that goals are correctly shown CI #575: Pull request #585 synchronize by hendriktews
February 7, 2024 08:25 22m 42s hendriktews:missing-goals
hendriktews:missing-goals
February 7, 2024 08:25 22m 42s
cipg: select only actively supported Emacs versions for Coq rc versions CI #574: Commit 4e6e5d9 pushed by hendriktews
February 7, 2024 07:47 16m 42s master
master
February 7, 2024 07:47 16m 42s
cipg: select only actively supported Emacs versions for Coq rc versions CI #573: Pull request #733 opened by hendriktews
January 28, 2024 20:52 34m 10s hendriktews:active-rc
hendriktews:active-rc
January 28, 2024 20:52 34m 10s
add tests for checking that goals are correctly shown CI #572: Pull request #585 synchronize by hendriktews
January 28, 2024 20:51 34m 20s hendriktews:missing-goals
hendriktews:missing-goals
January 28, 2024 20:51 34m 20s
CI: test 8.19.0 instead of 8.19+rc1 CI #571: Commit a38857a pushed by hendriktews
January 28, 2024 15:33 21m 43s master
master
January 28, 2024 15:33 21m 43s
CI: test 8.19.0 instead of 8.19+rc1 CI #570: Pull request #732 opened by hendriktews
January 28, 2024 11:23 22m 15s hendriktews:ci-8-19-0
hendriktews:ci-8-19-0
January 28, 2024 11:23 22m 15s
add tests for checking that goals are correctly shown CI #569: Pull request #585 synchronize by hendriktews
January 23, 2024 10:36 22m 20s hendriktews:missing-goals
hendriktews:missing-goals
January 23, 2024 10:36 22m 20s
doc: update documentation for recent omit-proofs changes CI #568: Commit c6b7d50 pushed by hendriktews
January 23, 2024 10:14 22m 8s master
master
January 23, 2024 10:14 22m 8s
Omit let fix CI #567: Pull request #696 synchronize by hendriktews
January 22, 2024 16:33 22m 18s hendriktews:omit-let-fix
hendriktews:omit-let-fix
January 22, 2024 16:33 22m 18s
omit-proofs: handle commands that may have global effects CI #566: Commit 85a35ad pushed by hendriktews
January 22, 2024 16:12 22m 9s master
master
January 22, 2024 16:12 22m 9s
omit-proofs: handle commands that may have global effects CI #565: Pull request #694 synchronize by hendriktews
January 22, 2024 08:44 33m 41s hendriktews:omit-hint-fix
hendriktews:omit-hint-fix
January 22, 2024 08:44 33m 41s
simple-tests/omit_test: fix Coq sources for 8.19 CI #564: Commit 0d5ae06 pushed by hendriktews
January 22, 2024 08:42 35m 16s master
master
January 22, 2024 08:42 35m 16s
simple-tests/omit_test: fix Coq sources for 8.19 CI #563: Pull request #727 synchronize by hendriktews
January 21, 2024 21:59 33m 18s hendriktews:let-using
hendriktews:let-using
January 21, 2024 21:59 33m 18s
CI: update for Emacs 29.2 CI #562: Commit 311a6b7 pushed by hendriktews
January 21, 2024 21:56 33m 37s master
master
January 21, 2024 21:56 33m 37s