Skip to content

Actions: ProofGeneral/PG

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
157 workflow runs
157 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Message fix CI #890: Pull request #865 synchronize by Matafou
5m 17s Matafou:message-fix
Matafou:message-fix
5m 17s
Allow EasyCrypt lemma names to begin with _. CI #889: Pull request #874 opened by alleystoughton
Action required alleystoughton:master
alleystoughton:master
Action required
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