Skip to content

Actions: ProofGeneral/PG

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
216 workflow runs
216 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
coq: clear goals buffer after admitted CI #628: Commit 1a37480 pushed by hendriktews
April 6, 2024 17:07 18m 36s master
master
April 6, 2024 17:07 18m 36s
poor PG man's workaround for coq/coq#11479 CI #627: Pull request #750 synchronize by hendriktews
April 6, 2024 16:59 10m 25s hendriktews:proof-stat
hendriktews:proof-stat
April 6, 2024 16:59 10m 25s
poor PG man's workaround for coq/coq#11479 CI #626: Pull request #750 synchronize by hendriktews
April 6, 2024 09:51 16m 44s hendriktews:proof-stat
hendriktews:proof-stat
April 6, 2024 09:51 16m 44s
poor PG man's workaround for coq/coq#11479 CI #625: Pull request #750 synchronize by hendriktews
April 5, 2024 20:01 16m 17s hendriktews:proof-stat
hendriktews:proof-stat
April 5, 2024 20:01 16m 17s
poor PG man's workaround for coq/coq#11479 CI #624: Pull request #750 synchronize by hendriktews
April 1, 2024 15:38 16m 13s hendriktews:proof-stat
hendriktews:proof-stat
April 1, 2024 15:38 16m 13s
poor PG man's workaround for coq/coq#11479 CI #623: Pull request #750 synchronize by hendriktews
March 31, 2024 19:36 16m 8s hendriktews:proof-stat
hendriktews:proof-stat
March 31, 2024 19:36 16m 8s
Add features: use goal count information printed at top of goals buffer in modeline, clear the goal window when proof is skipped (abort, admitted...). CI #622: Pull request #755 synchronize by axe1d
March 31, 2024 19:23 16m 12s axe1d:axel
axe1d:axel
March 31, 2024 19:23 16m 12s
CI: fix workflow problem in cipg and sync currently used containers Documentation #60: Commit 1566fd8 pushed by hendriktews
March 31, 2024 19:08 24m 32s master
master
March 31, 2024 19:08 24m 32s
CI: fix workflow problem in cipg and sync currently used containers CI #621: Commit 1566fd8 pushed by hendriktews
March 31, 2024 19:08 25m 31s master
master
March 31, 2024 19:08 25m 31s
Add features: use goal count information printed at top of goals buffer in modeline, clear the goal window when proof is skipped (abort, admitted...). CI #620: Pull request #755 opened by axe1d
March 31, 2024 18:40 15m 16s axe1d:axel
axe1d:axel
March 31, 2024 18:40 15m 16s
poor PG man's workaround for coq/coq#11479 CI #619: Pull request #750 synchronize by hendriktews
March 31, 2024 08:16 15m 59s hendriktews:proof-stat
hendriktews:proof-stat
March 31, 2024 08:16 15m 59s
poor PG man's workaround for coq/coq#11479 CI #618: Pull request #750 synchronize by hendriktews
March 29, 2024 22:36 16m 10s hendriktews:proof-stat
hendriktews:proof-stat
March 29, 2024 22:36 16m 10s
CI: fix workflow problem in cipg and sync currently used containers CI #617: Pull request #754 opened by hendriktews
March 29, 2024 22:16 15m 45s hendriktews:used
hendriktews:used
March 29, 2024 22:16 15m 45s
poor PG man's workaround for coq/coq#11479 CI #616: Pull request #750 synchronize by hendriktews
March 29, 2024 17:26 1m 53s hendriktews:proof-stat
hendriktews:proof-stat
March 29, 2024 17:26 1m 53s
poor PG man's workaround for coq/coq#11479 CI #615: Pull request #750 synchronize by hendriktews
March 29, 2024 11:43 15m 44s hendriktews:proof-stat
hendriktews:proof-stat
March 29, 2024 11:43 15m 44s
poor PG man's workaround for coq/coq#11479 CI #614: Pull request #750 synchronize by hendriktews
March 28, 2024 23:45 30m 10s hendriktews:proof-stat
hendriktews:proof-stat
March 28, 2024 23:45 30m 10s
Revert "texi-docstring-magic.el: Fix regression in last change" Documentation #59: Commit 2637216 pushed by hendriktews
March 28, 2024 23:44 1m 21s master
master
March 28, 2024 23:44 1m 21s
Revert "texi-docstring-magic.el: Fix regression in last change" CI #613: Commit 2637216 pushed by hendriktews
March 28, 2024 23:44 16m 19s master
master
March 28, 2024 23:44 16m 19s
Revert "texi-docstring-magic.el: Fix regression in last change" CI #612: Pull request #753 opened by hendriktews
March 28, 2024 23:21 22m 35s hendriktews:revert-more
hendriktews:revert-more
March 28, 2024 23:21 22m 35s
Revert "(texi-docstring-magic-texi-for): Use help-function-arglist" CI #611: Commit 01aa317 pushed by hendriktews
March 28, 2024 22:58 30m 19s master
master
March 28, 2024 22:58 30m 19s
Revert "(texi-docstring-magic-texi-for): Use help-function-arglist" Documentation #58: Commit 01aa317 pushed by hendriktews
March 28, 2024 22:58 14m 6s master
master
March 28, 2024 22:58 14m 6s
texi-docstring-magic.el: Fix regression in last change CI #610: Commit f620526 pushed by monnier
March 28, 2024 22:57 16m 0s master
master
March 28, 2024 22:57 16m 0s
texi-docstring-magic.el: Fix regression in last change Documentation #57: Commit f620526 pushed by monnier
March 28, 2024 22:57 15m 10s master
master
March 28, 2024 22:57 15m 10s
Revert "(texi-docstring-magic-texi-for): Use help-function-arglist" CI #609: Pull request #752 opened by hendriktews
March 28, 2024 22:39 15m 48s hendriktews:revert
hendriktews:revert
March 28, 2024 22:39 15m 48s
DON'T MERGE: investigate doc-magic problem in PR #750 CI #608: Pull request #751 synchronize by hendriktews
March 28, 2024 21:44 1m 49s hendriktews:magic-bug
hendriktews:magic-bug
March 28, 2024 21:44 1m 49s