Skip to content

Actions: ProofGeneral/PG

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
263 workflow runs
263 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: update to Coq 8.19.2 and Emacs 29.4 CI #704: Pull request #777 synchronize by hendriktews
July 3, 2024 20:15 1m 52s hendriktews:ci-update
hendriktews:ci-update
July 3, 2024 20:15 1m 52s
CI: update to Coq 8.19.2 and Emacs 29.4 CI #703: Pull request #777 opened by hendriktews
June 27, 2024 09:18 16m 16s hendriktews:ci-update
hendriktews:ci-update
June 27, 2024 09:18 16m 16s
fix(coq.el): (setq proof-shell-strip-crs-from-input nil) (#774) Documentation #71: Commit 99f91e8 pushed by erikmd
June 19, 2024 12:10 54s master
master
June 19, 2024 12:10 54s
fix(coq.el): (setq proof-shell-strip-crs-from-input nil) (#774) CI #701: Commit 99f91e8 pushed by erikmd
June 19, 2024 12:10 16m 25s master
master
June 19, 2024 12:10 16m 25s
proof-stat: admitted proofs count as failing CI #700: Commit 0e0170f pushed by hendriktews
June 19, 2024 08:41 16m 6s master
master
June 19, 2024 08:41 16m 6s
proof-stat: admitted proofs count as failing Documentation #70: Commit 0e0170f pushed by hendriktews
June 19, 2024 08:41 52s master
master
June 19, 2024 08:41 52s
also omit proofs with bullets and braces CI #699: Pull request #772 synchronize by hendriktews
June 19, 2024 08:23 16m 5s hendriktews:omit-bullets
hendriktews:omit-bullets
June 19, 2024 08:23 16m 5s
Merge pull request #768 from Matafou/splash-time CI #698: Commit b9fdbbf pushed by Matafou
June 15, 2024 15:46 16m 8s master
master
June 15, 2024 15:46 16m 8s
Merge pull request #768 from Matafou/splash-time Documentation #69: Commit b9fdbbf pushed by Matafou
June 15, 2024 15:46 52s master
master
June 15, 2024 15:46 52s
fix(coq.el): (setq proof-shell-strip-crs-from-input nil) CI #697: Pull request #774 opened by erikmd
June 15, 2024 14:29 30m 0s coq-dont-strip-cr
coq-dont-strip-cr
June 15, 2024 14:29 30m 0s
fix(coq.el): (setq proof-shell-strip-crs-from-input nil) CI #696: Commit ffd7000 pushed by erikmd
June 15, 2024 14:28 16m 18s coq-dont-strip-cr
coq-dont-strip-cr
June 15, 2024 14:28 16m 18s
also omit proofs with bullets and braces CI #695: Pull request #772 synchronize by hendriktews
June 12, 2024 12:18 16m 19s hendriktews:omit-bullets
hendriktews:omit-bullets
June 12, 2024 12:18 16m 19s
also omit proofs with bullets and braces CI #694: Pull request #772 synchronize by hendriktews
June 12, 2024 09:43 16m 39s hendriktews:omit-bullets
hendriktews:omit-bullets
June 12, 2024 09:43 16m 39s
also omit proofs with bullets and braces CI #693: Pull request #772 synchronize by hendriktews
June 12, 2024 08:48 16m 35s hendriktews:omit-bullets
hendriktews:omit-bullets
June 12, 2024 08:48 16m 35s
also omit proofs with bullets and braces CI #692: Pull request #772 synchronize by hendriktews
June 11, 2024 15:24 17m 58s hendriktews:omit-bullets
hendriktews:omit-bullets
June 11, 2024 15:24 17m 58s
also omit proofs with bullets and braces CI #691: Pull request #772 opened by hendriktews
June 11, 2024 14:52 16m 45s hendriktews:omit-bullets
hendriktews:omit-bullets
June 11, 2024 14:52 16m 45s
proof-stat: add test for proof-check-annotate Documentation #68: Commit cb23709 pushed by hendriktews
May 13, 2024 07:20 50s master
master
May 13, 2024 07:20 50s
proof-stat: add test for proof-check-annotate CI #690: Commit cb23709 pushed by hendriktews
May 13, 2024 07:20 16m 33s master
master
May 13, 2024 07:20 16m 33s
Coq: run silently and explicitly Show when necessary - second attempt CI #689: Pull request #762 synchronize by hendriktews
May 12, 2024 13:37 16m 49s hendriktews:silent-2
hendriktews:silent-2
May 12, 2024 13:37 16m 49s
proof-stat: minor corrections + new feature to mark failing proofs in the sources CI #688: Pull request #765 synchronize by hendriktews
May 12, 2024 08:45 17m 3s hendriktews:proof-stat
hendriktews:proof-stat
May 12, 2024 08:45 17m 3s
Reduce splash time to 1s. CI #687: Pull request #768 opened by Matafou
May 5, 2024 16:17 16m 57s Matafou:splash-time
Matafou:splash-time
May 5, 2024 16:17 16m 57s
proof-stat: minor corrections + new feature to mark failing proofs in the sources CI #686: Pull request #765 synchronize by hendriktews
May 2, 2024 07:53 26m 58s hendriktews:proof-stat
hendriktews:proof-stat
May 2, 2024 07:53 26m 58s
CI: update CI config to include Emacs 29.3 CI #685: Commit 1adcaaf pushed by hendriktews
May 2, 2024 07:46 17m 8s master
master
May 2, 2024 07:46 17m 8s
CI: update CI config to include Emacs 29.3 Documentation #67: Commit 1adcaaf pushed by hendriktews
May 2, 2024 07:46 52s master
master
May 2, 2024 07:46 52s
proof-stat: minor corrections + new feature to mark failing proofs in the sources CI #684: Pull request #765 synchronize by hendriktews
April 30, 2024 20:49 16m 11s hendriktews:proof-stat
hendriktews:proof-stat
April 30, 2024 20:49 16m 11s