Skip to content

Actions: ProofGeneral/PG

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
274 workflow runs
274 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

poor PG man's workaround for coq/coq#11479 CI #671: Pull request #750 synchronize by hendriktews
April 25, 2024 09:19 16m 18s hendriktews:proof-stat
hendriktews:proof-stat
April 25, 2024 09:19 16m 18s
ignore 3-pane mode if frame is too small Documentation #64: Commit 1f0c757 pushed by hendriktews
April 25, 2024 07:57 52s master
master
April 25, 2024 07:57 52s
ignore 3-pane mode if frame is too small CI #670: Commit 1f0c757 pushed by hendriktews
April 25, 2024 07:57 16m 36s master
master
April 25, 2024 07:57 16m 36s
Coq: run silently and explicitly Show when necessary - second attempt CI #669: Pull request #762 synchronize by hendriktews
April 22, 2024 09:17 15m 45s hendriktews:silent-2
hendriktews:silent-2
April 22, 2024 09:17 15m 45s
Coq: run silently and explicitly Show when necessary - second attempt CI #668: Pull request #762 synchronize by hendriktews
April 21, 2024 16:55 16m 37s hendriktews:silent-2
hendriktews:silent-2
April 21, 2024 16:55 16m 37s
update Coq ignored extensions and add dired-x compatibility CI #667: Pull request #763 opened by hendriktews
April 21, 2024 09:51 16m 8s hendriktews:ext
hendriktews:ext
April 21, 2024 09:51 16m 8s
poor PG man's workaround for coq/coq#11479 CI #666: Pull request #750 synchronize by hendriktews
April 20, 2024 13:04 37m 50s hendriktews:proof-stat
hendriktews:proof-stat
April 20, 2024 13:04 37m 50s
fix 3-pane mode for small frame heights CI #665: Pull request #761 synchronize by hendriktews
April 20, 2024 13:01 25m 23s hendriktews:three
hendriktews:three
April 20, 2024 13:01 25m 23s
proof-shell, pg-response: indentation fixes CI #664: Commit 7a28fa2 pushed by hendriktews
April 20, 2024 12:54 16m 29s master
master
April 20, 2024 12:54 16m 29s
proof-shell, pg-response: indentation fixes Documentation #63: Commit 7a28fa2 pushed by hendriktews
April 20, 2024 12:54 9m 58s master
master
April 20, 2024 12:54 9m 58s
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 #663: Pull request #755 synchronize by axe1d
April 18, 2024 15:14 15m 58s axe1d:axel
axe1d:axel
April 18, 2024 15:14 15m 58s
poor PG man's workaround for coq/coq#11479 CI #654: Pull request #750 synchronize by hendriktews
April 18, 2024 11:26 27m 56s hendriktews:proof-stat
hendriktews:proof-stat
April 18, 2024 11:26 27m 56s
fix 3-pane mode for small frame heights CI #653: Pull request #761 synchronize by hendriktews
April 18, 2024 11:22 15m 56s hendriktews:three
hendriktews:three
April 18, 2024 11:22 15m 56s
Coq: run silently and explicitly Show when necessary - second attempt CI #652: Pull request #762 synchronize by hendriktews
April 18, 2024 09:52 28m 7s hendriktews:silent-2
hendriktews:silent-2
April 18, 2024 09:52 28m 7s
proof-shell: indentation fix CI #651: Pull request #759 synchronize by hendriktews
April 18, 2024 09:49 15m 49s hendriktews:indent
hendriktews:indent
April 18, 2024 09:49 15m 49s
CI: extend goals present tests with Search and Check commdands CI #650: Commit d30569d pushed by hendriktews
April 18, 2024 09:06 16m 30s master
master
April 18, 2024 09:06 16m 30s
CI: extend goals present tests with Search and Check commdands Documentation #62: Commit d30569d pushed by hendriktews
April 18, 2024 09:06 48s master
master
April 18, 2024 09:06 48s
Coq: run silently and explicitly Show when necessary - second attempt CI #649: Pull request #762 opened by hendriktews
April 17, 2024 15:58 16m 8s hendriktews:silent-2
hendriktews:silent-2
April 17, 2024 15:58 16m 8s
poor PG man's workaround for coq/coq#11479 CI #648: Pull request #750 synchronize by hendriktews
April 17, 2024 08:24 1m 52s hendriktews:proof-stat
hendriktews:proof-stat
April 17, 2024 08:24 1m 52s
poor PG man's workaround for coq/coq#11479 CI #647: Pull request #750 synchronize by hendriktews
April 17, 2024 07:58 12m 49s hendriktews:proof-stat
hendriktews:proof-stat
April 17, 2024 07:58 12m 49s
fix 3-pane mode for small frame heights CI #646: Pull request #761 synchronize by hendriktews
April 17, 2024 07:35 15m 42s hendriktews:three
hendriktews:three
April 17, 2024 07:35 15m 42s
fix 3-pane mode for small frame heights CI #645: Pull request #761 synchronize by hendriktews
April 17, 2024 07:24 2m 42s hendriktews:three
hendriktews:three
April 17, 2024 07:24 2m 42s
fix 3-pane mode for small frame heights CI #644: Pull request #761 opened by hendriktews
April 16, 2024 13:41 15m 55s hendriktews:three
hendriktews:three
April 16, 2024 13:41 15m 55s
proof-shell: indentation fix CI #643: Pull request #759 opened by hendriktews
April 15, 2024 14:23 30m 11s hendriktews:indent
hendriktews:indent
April 15, 2024 14:23 30m 11s
poor PG man's workaround for coq/coq#11479 CI #642: Pull request #750 synchronize by hendriktews
April 15, 2024 11:38 16m 1s hendriktews:proof-stat
hendriktews:proof-stat
April 15, 2024 11:38 16m 1s