Skip to content

Actions: ProofGeneral/PG

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
259 workflow runs
259 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
poor PG man's workaround for coq/coq#11479 CI #639: Pull request #750 synchronize by hendriktews
April 13, 2024 16:47 16m 7s hendriktews:proof-stat
hendriktews:proof-stat
April 13, 2024 16:47 16m 7s
coq: run silently and explicitly Show when necessary CI #638: Pull request #742 synchronize by hendriktews
April 7, 2024 17:30 15m 47s hendriktews:silent
hendriktews:silent
April 7, 2024 17:30 15m 47s
coq: run silently and explicitly Show when necessary CI #637: Pull request #742 synchronize by hendriktews
April 7, 2024 15:35 16m 11s hendriktews:silent
hendriktews:silent
April 7, 2024 15:35 16m 11s
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 #636: Pull request #755 synchronize by axe1d
April 7, 2024 14:21 27m 0s axe1d:axel
axe1d:axel
April 7, 2024 14:21 27m 0s
poor PG man's workaround for coq/coq#11479 CI #629: Pull request #750 synchronize by hendriktews
April 6, 2024 17:19 21m 26s hendriktews:proof-stat
hendriktews:proof-stat
April 6, 2024 17:19 21m 26s
coq: clear goals buffer after admitted Documentation #61: Commit 1a37480 pushed by hendriktews
April 6, 2024 17:07 2m 54s master
master
April 6, 2024 17:07 2m 54s
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