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

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 Documentation #44: Commit a38857a pushed by hendriktews
January 28, 2024 15:33 47s master
master
January 28, 2024 15:33 47s
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
doc: update documentation for recent omit-proofs changes Documentation #43: Commit c6b7d50 pushed by hendriktews
January 23, 2024 10:14 55s master
master
January 23, 2024 10:14 55s
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 Documentation #42: Commit 85a35ad pushed by hendriktews
January 22, 2024 16:12 48s master
master
January 22, 2024 16:12 48s
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 Documentation #41: Commit 0d5ae06 pushed by hendriktews
January 22, 2024 08:42 52s master
master
January 22, 2024 08:42 52s
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 Documentation #40: Commit 311a6b7 pushed by hendriktews
January 21, 2024 21:56 12m 59s master
master
January 21, 2024 21:56 12m 59s
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
Emacs 29.2 in CI CI #561: Pull request #730 synchronize by hendriktews
January 21, 2024 20:01 29m 50s hendriktews:emacs-29-2
hendriktews:emacs-29-2
January 21, 2024 20:01 29m 50s
CI: add cipg and documentation for it CI #560: Commit 8b8e0b1 pushed by hendriktews
January 21, 2024 19:56 33m 51s master
master
January 21, 2024 19:56 33m 51s
CI: add cipg and documentation for it Documentation #39: Commit 8b8e0b1 pushed by hendriktews
January 21, 2024 19:56 48s master
master
January 21, 2024 19:56 48s
Emacs 29.2 in CI CI #559: Pull request #730 opened by hendriktews
January 21, 2024 10:16 21m 48s hendriktews:emacs-29-2
hendriktews:emacs-29-2
January 21, 2024 10:16 21m 48s
cipg - automated CI maintenance CI #558: Pull request #729 opened by hendriktews
January 20, 2024 23:13 19m 38s hendriktews:ci-19-rc
hendriktews:ci-19-rc
January 20, 2024 23:13 19m 38s
Merge pull request #717 from ayanamists/master Documentation #38: Commit 35d5efa pushed by Matafou
January 19, 2024 13:34 56s master
master
January 19, 2024 13:34 56s
Merge pull request #717 from ayanamists/master CI #557: Commit 35d5efa pushed by Matafou
January 19, 2024 13:34 21m 30s master
master
January 19, 2024 13:34 21m 30s