Skip to content

Actions: ProofGeneral/PG

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
272 workflow runs
272 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: test 8.19.1 instead of 8.19.0 CI #592: Commit e793ac4 pushed by hendriktews
March 8, 2024 09:49 31m 12s master
master
March 8, 2024 09:49 31m 12s
CI: test 8.19.1 instead of 8.19.0 Documentation #52: Commit e793ac4 pushed by hendriktews
March 8, 2024 09:49 12m 15s master
master
March 8, 2024 09:49 12m 15s
CI: test 8.19.1 instead of 8.19.0 CI #591: Pull request #744 opened by hendriktews
March 7, 2024 10:39 20m 24s hendriktews:ci-update
hendriktews:ci-update
March 7, 2024 10:39 20m 24s
CHANGES: add entry for 9b38f844df79eaf77a64c82d21cfdc70351ccc03 Documentation #51: Commit a6f8243 pushed by hendriktews
March 6, 2024 20:02 59s master
master
March 6, 2024 20:02 59s
CHANGES: add entry for 9b38f844df79eaf77a64c82d21cfdc70351ccc03 CI #590: Commit a6f8243 pushed by hendriktews
March 6, 2024 20:02 23m 14s master
master
March 6, 2024 20:02 23m 14s
coq-tests: fix error introduced by Cyril Anaclet in 0ae25c5a (#743) Documentation #50: Commit caa100e pushed by erikmd
March 5, 2024 00:03 13m 3s master
master
March 5, 2024 00:03 13m 3s
coq-tests: fix error introduced by Cyril Anaclet in 0ae25c5a (#743) CI #589: Commit caa100e pushed by erikmd
March 5, 2024 00:03 23m 19s master
master
March 5, 2024 00:03 23m 19s
coq: run silently and explicitly Show when necessary CI #588: Pull request #742 synchronize by hendriktews
March 3, 2024 20:43 35m 8s hendriktews:silent
hendriktews:silent
March 3, 2024 20:43 35m 8s
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
proof-tree: protect against internal errors Documentation #49: Commit 1f07248 pushed by hendriktews
February 23, 2024 14:05 12m 49s master
master
February 23, 2024 14:05 12m 49s
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 Documentation #48: Commit 4814efb pushed by hendriktews
February 19, 2024 13:47 56s master
master
February 19, 2024 13:47 56s
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
add tests for checking that goals are correctly shown Documentation #47: Commit a6bd818 pushed by hendriktews
February 18, 2024 09:46 11m 33s master
master
February 18, 2024 09:46 11m 33s
coq-par-compile: add user options for extra coqc/coqdep arguments Documentation #46: Commit 9b38f84 pushed by hendriktews
February 18, 2024 09:46 54s master
master
February 18, 2024 09:46 54s
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 Documentation #45: Commit 4e6e5d9 pushed by hendriktews
February 7, 2024 07:47 47s master
master
February 7, 2024 07:47 47s