starred/json
1
0
Fork 0
mirror of https://github.com/nlohmann/json.git synced 2026-10-04 22:05:41 +01:00
Code Issues Packages Projects Releases 10 Wiki Activity
4,555 Commits 57 Branches 57 Tags
58d6aa58316a84fc770bdd0409934cdfdf0697dc
Commit Graph
4 Commits
Author SHA1 Message Date
Joyce 546370c9e7 Set minimal permissions to Github Workflows (#3972) 2023-03-13 12:14:35 +01:00
Niels Lohmann bfbe774d8f 🚑 fix documentation job 2022-08-07 13:34:34 +02:00
Florian Albrechtskirchinger b13b8748b6 Refine 'Publish documentation' workflow (#3673) 
* Only publish documentation when changed

* Enable manual publishing of the documentation

* Don't try to publish documentation from forks
 2022-08-04 22:53:05 +02:00
Niels Lohmann 98d70d4676 Publish documentation on push to develop branch (#3660) 
👷 add job to publish the documentation
 2022-08-03 22:28:26 +02:00