ci: no longer require real name
[project/luci.git] / .github / workflows / formal.yml
2024-01-11 one-d-wideci: no longer require real name
2023-12-04 Paul DonaldMerge pull request #6296 from jjm2473/patch-2
2023-12-04 Paul DonaldMerge pull request #6295 from jjm2473/patch-1
2023-12-04 Paul DonaldMerge pull request #5631 from coudu/luci-app-nut-fixes
2023-12-04 Paul DonaldMerge pull request #5520 from acooler15/luci-lib-docker
2023-12-04 Paul Donaldluci-proto-modemmanager: Added logging level option...
2023-08-03 Jo-Philipp WichMerge pull request #6490 from Ansuel/improve-chan-grap
2023-04-01 Jo-Philipp WichMerge pull request #6325 from 1715173329/ci-remaining
2023-03-31 Tianling ShenCI: update remaining outdated dependencies 6325/head
2022-02-18 Jo-Philipp WichMerge pull request #4515 from TDT-AG/pr/20201014-diag...
2021-10-28 Florian EckertMerge pull request #5328 from TDT-AG/pr/20210903-luci...
2021-10-10 Jo-Philipp WichMerge pull request #5423 from jow-/master
2021-10-10 Paul SpoorenCI: add formal tests