Skip to content

Actions: ProofGeneral/PG

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
139 workflow runs
139 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #847 from Matafou/fix-elpi-parsing CI #853: Commit d60382d pushed by Matafou
21m 33s master
master
21m 33s
Merge pull request #847 from Matafou/fix-elpi-parsing Documentation #113: Commit d60382d pushed by Matafou
47s master
master
47s
First attempt of fixing elpi syntax by Philip Kaludercic. CI #852: Pull request #847 synchronize by Matafou
22m 49s Matafou:fix-elpi-parsing
Matafou:fix-elpi-parsing
22m 49s
Rocq: enable messages for Rocq >= 9.2 CI #851: Pull request #850 opened by hendriktews
15m 10s hendriktews:message-fix
hendriktews:message-fix
15m 10s
Fixing doc magic. Documentation #112: Commit b82c219 pushed by Matafou
1m 8s master
master
1m 8s
Fixing doc magic. CI #850: Commit b82c219 pushed by Matafou
23m 25s master
master
23m 25s
Fix #848 (indentation of now tac). CI #849: Commit 1533f77 pushed by Matafou
13m 31s master
master
13m 31s
Fix #848 (indentation of now tac). Documentation #111: Commit 1533f77 pushed by Matafou
55s master
master
55s
First attempt of fixing elpi syntax by Philip Kaludercic. CI #848: Pull request #847 synchronize by Matafou
22m 55s Matafou:fix-elpi-parsing
Matafou:fix-elpi-parsing
22m 55s
First attempt of fixing elpi syntax by Philip Kaludercic. CI #847: Pull request #847 synchronize by Matafou
21m 36s Matafou:fix-elpi-parsing
Matafou:fix-elpi-parsing
21m 36s
First attempt of fixing elpi syntax by Philip Kaludercic. CI #846: Pull request #847 synchronize by Matafou
20m 49s Matafou:fix-elpi-parsing
Matafou:fix-elpi-parsing
20m 49s
First attempt of fixing elpi syntax by Philip Kaludercic. CI #845: Pull request #847 synchronize by Matafou
20m 39s Matafou:fix-elpi-parsing
Matafou:fix-elpi-parsing
20m 39s
Updating documentation strings about 3 columns mode. CI #844: Commit ae7af9d pushed by Matafou
21m 42s master
master
21m 42s
Updating documentation strings about 3 columns mode. Documentation #110: Commit ae7af9d pushed by Matafou
2m 22s master
master
2m 22s
First attempt of fixing elpi syntax by Philip Kaludercic. CI #843: Pull request #847 synchronize by Matafou
1m 28s Matafou:fix-elpi-parsing
Matafou:fix-elpi-parsing
1m 28s
First attempt of fixing elpi syntax by Philip Kaludercic. CI #842: Pull request #847 opened by Matafou
17m 2s Matafou:fix-elpi-parsing
Matafou:fix-elpi-parsing
17m 2s
Lexical autoloads CI #841: Pull request #846 opened by iwahbe
22m 11s iwahbe:lexical-autoloads
iwahbe:lexical-autoloads
22m 11s
Merge pull request #841 from hendriktews/prefer-rocq Documentation #109: Commit f33b478 pushed by hendriktews
2m 0s master
master
2m 0s
Merge pull request #841 from hendriktews/prefer-rocq CI #840: Commit f33b478 pushed by hendriktews
22m 42s master
master
22m 42s
Rocq: prefer Rocq binaries over Coq ones CI #838: Pull request #841 opened by hendriktews
21m 58s hendriktews:prefer-rocq
hendriktews:prefer-rocq
21m 58s
Coq prooftree: recognize "2 : {" as navigation command CI #837: Pull request #840 opened by hendriktews
31m 28s hendriktews:prooftree-fixes
hendriktews:prooftree-fixes
31m 28s
Merge pull request #839 from hendriktews/ci-9-1-rc CI #836: Commit fbb2878 pushed by hendriktews
24m 34s master
master
24m 34s
Merge pull request #839 from hendriktews/ci-9-1-rc Documentation #108: Commit fbb2878 pushed by hendriktews
52s master
master
52s
CI: update to Rocq 9.1+rc1 CI #835: Pull request #839 synchronize by hendriktews
20m 37s hendriktews:ci-9-1-rc
hendriktews:ci-9-1-rc
20m 37s
CI: update to Rocq 9.1+rc1 CI #834: Pull request #839 synchronize by hendriktews
18m 55s hendriktews:ci-9-1-rc
hendriktews:ci-9-1-rc
18m 55s