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

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
add more tests for goals and response buffer CI #641: Pull request #758 synchronize by hendriktews
April 14, 2024 12:50 16m 31s hendriktews:test-goals
hendriktews:test-goals
April 14, 2024 12:50 16m 31s
add more tests for goals and response buffer CI #640: Pull request #758 opened by hendriktews
April 13, 2024 17:29 16m 15s hendriktews:test-goals
hendriktews:test-goals
April 13, 2024 17:29 16m 15s