Skip to content

Actions: ProofGeneral/PG

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
214 workflow runs
214 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
CI: update to Coq 8.19.2 and Emacs 29.4 CI #704: Pull request #777 synchronize by hendriktews
July 3, 2024 20:15 16m 46s hendriktews:ci-update
hendriktews:ci-update
July 3, 2024 20:15 16m 46s
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
Update Makefile CI #702: Pull request #776 opened by jgarte
June 26, 2024 06:22 Action required jgarte:jgarte-patch-1
jgarte:jgarte-patch-1
June 26, 2024 06:22 Action required
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