Skip to content

Actions: ProofGeneral/PG

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
169 workflow runs
169 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix coq-insert-named-goal-selectors wrong type argument CI #888: Pull request #868 opened by dhalilov
18m 26s dhalilov:fix-coq-insert-named-goal-selectors
dhalilov:fix-coq-insert-named-goal-selectors
18m 26s
Add support for 'repeat-mode' CI #887: Pull request #867 synchronize by username231419
30m 49s username231419:master
username231419:master
30m 49s
Add support for 'repeat-mode' CI #886: Pull request #867 opened by username231419
21m 59s username231419:master
username231419:master
21m 59s
Message fix CI #885: Pull request #865 opened by Matafou
2m 16s Matafou:message-fix
Matafou:message-fix
2m 16s
Merge pull request #863 from MorganJamesSmith/doc-string-single-quote CI #884: Commit 75c13f9 pushed by Matafou
20m 55s master
master
20m 55s
Merge pull request #863 from MorganJamesSmith/doc-string-single-quote Documentation #126: Commit 75c13f9 pushed by Matafou
44s master
master
44s
Fix compile warnings: Doc string single quote CI #883: Pull request #863 opened by MorganJamesSmith
22m 1s MorganJamesSmith:doc-string-single-quote
MorganJamesSmith:doc-string-single-quote
22m 1s
Merge pull request #834 from MorganJamesSmith/master Documentation #125: Commit e164eca pushed by Matafou
48s master
master
48s
Merge pull request #834 from MorganJamesSmith/master CI #882: Commit e164eca pushed by Matafou
22m 4s master
master
22m 4s
Fix checkdoc warnings CI #881: Pull request #834 synchronize by MorganJamesSmith
22m 9s MorganJamesSmith:master
MorganJamesSmith:master
22m 9s
Rocq: enable messages for Rocq >= 9.2 CI #880: Pull request #850 synchronize by hendriktews
15m 27s hendriktews:message-fix
hendriktews:message-fix
15m 27s
Fix checkdoc warnings CI #879: Pull request #834 synchronize by MorganJamesSmith
21m 49s MorganJamesSmith:master
MorganJamesSmith:master
21m 49s
Merge pull request #862 from Matafou/removing-holes Documentation #124: Commit 649f8f0 pushed by Matafou
49s master
master
49s
Merge pull request #862 from Matafou/removing-holes CI #878: Commit 649f8f0 pushed by Matafou
21m 48s master
master
21m 48s
Removing holes CI #877: Pull request #862 opened by Matafou
21m 53s Matafou:removing-holes
Matafou:removing-holes
21m 53s
Merge pull request #852 from rswarbrick/proof-format-match-limits Documentation #123: Commit 6946aa5 pushed by Matafou
50s master
master
50s
Merge pull request #852 from rswarbrick/proof-format-match-limits CI #876: Commit 6946aa5 pushed by Matafou
22m 18s master
master
22m 18s
Merge pull request #861 from Matafou/fix-named-goals CI #875: Commit 6f8d727 pushed by Matafou
22m 2s master
master
22m 2s
Merge pull request #861 from Matafou/fix-named-goals Documentation #122: Commit 6f8d727 pushed by Matafou
1m 10s master
master
1m 10s
Fixing support for named goal. CI #874: Pull request #861 opened by Matafou
21m 48s Matafou:fix-named-goals
Matafou:fix-named-goals
21m 48s
Merge pull request #846 from iwahbe/lexical-autoloads CI #873: Commit c3895ab pushed by Matafou
2m 11s master
master
2m 11s
Merge pull request #846 from iwahbe/lexical-autoloads Documentation #121: Commit c3895ab pushed by Matafou
1m 17s master
master
1m 17s
Lexical autoloads CI #872: Pull request #846 synchronize by iwahbe
22m 37s iwahbe:lexical-autoloads
iwahbe:lexical-autoloads
22m 37s
Merge pull request #856 from dhalilov/insert-named-goal-selectors CI #871: Commit 6278f97 pushed by Matafou
20m 55s master
master
20m 55s
Merge pull request #856 from dhalilov/insert-named-goal-selectors Documentation #120: Commit 6278f97 pushed by Matafou
45s master
master
45s