Skip to content

Actions: ProofGeneral/PG

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
118 workflow runs
118 workflow runs

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
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 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 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 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
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
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 #854 from fdeitylink/patch-1 CI #870: Commit f1eb1c1 pushed by Matafou
33m 5s master
master
33m 5s
Merge pull request #840 from hendriktews/prooftree-fixes CI #869: Commit 0683e96 pushed by Matafou
1h 8m 10s master
master
1h 8m 10s
Merge pull request #858 from Matafou/mouse-actions CI #868: Commit 35259a9 pushed by Matafou
51m 7s master
master
51m 7s
Merge pull request #855 from username231419/master CI #867: Commit 1a466bf pushed by Matafou
33m 52s master
master
33m 52s
Merge pull request #857 from rswarbrick/four-periods CI #866: Commit 8ccf1b3 pushed by Matafou
42m 30s master
master
42m 30s