Skip to content

Actions: p4lang/p4c

Actions

p4c-lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-lint.yaml
4,761 workflow runs
4,761 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove IR::Annotations and make IAnnotated to carry annotations inline p4c-lint #6538: Pull request #4992 synchronize by asl
November 1, 2024 12:53 3m 40s asl:annotations-clones
asl:annotations-clones
November 1, 2024 12:53 3m 40s
Remove IR::Annotations and make IAnnotated to carry annotations inline p4c-lint #6537: Pull request #4992 opened by asl
November 1, 2024 12:47 3m 51s asl:annotations-clones
asl:annotations-clones
November 1, 2024 12:47 3m 51s
Add abseil string helpers p4c-lint #6536: Pull request #4971 synchronize by asl
November 1, 2024 10:23 3m 53s asl:absl-stringify
asl:absl-stringify
November 1, 2024 10:23 3m 53s
Fix warning about delete not matching new (#4989) p4c-lint #6535: Commit 09b4e63 pushed by github-merge-queue bot
October 31, 2024 23:04 3m 46s main
main
October 31, 2024 23:04 3m 46s
p4c-lint p4c-lint #6534: Merge group checks requested
October 31, 2024 21:50 3m 37s
October 31, 2024 21:50 3m 37s
search for includes in share/p4c p4c-lint #6533: Pull request #4978 synchronize by ChrisDodd
October 31, 2024 20:29 13m 2s ChrisDodd:cdodd-includepath
ChrisDodd:cdodd-includepath
October 31, 2024 20:29 13m 2s
Add @likely/@unlikely annotations for blocks p4c-lint #6532: Pull request #4979 synchronize by ChrisDodd
October 31, 2024 20:28 6m 9s ChrisDodd:cdodd-likely
ChrisDodd:cdodd-likely
October 31, 2024 20:28 6m 9s
Fix warning about delete not matching new p4c-lint #6531: Pull request #4989 synchronize by ChrisDodd
October 31, 2024 20:27 7m 8s ChrisDodd:cdodd-delwarn
ChrisDodd:cdodd-delwarn
October 31, 2024 20:27 7m 8s
Build Z3 from source instead of downloading precompiled binaries. (#4… p4c-lint #6530: Commit 8ba0201 pushed by github-merge-queue bot
October 31, 2024 18:50 4m 11s main
main
October 31, 2024 18:50 4m 11s
p4c-lint p4c-lint #6529: Merge group checks requested
October 31, 2024 17:37 7m 10s
October 31, 2024 17:37 7m 10s
Build Z3 from source instead of downloading precompiled binaries. p4c-lint #6528: Pull request #4697 synchronize by fruffy
October 31, 2024 16:02 11m 40s fruffy/z3_source
fruffy/z3_source
October 31, 2024 16:02 11m 40s
Combo of duplication action name check and LocalizeAllActions fix p4c-lint #6527: Pull request #4975 synchronize by jafingerhut
October 31, 2024 15:56 3m 51s jafingerhut:combo-of-duplication-action-name-check-and-localizeallactions-fix
jafingerhut:combo-of-duplication-action-name-check-and-localizeallactions-fix
October 31, 2024 15:56 3m 51s
Fix Fedora build and fix CMake warnings on versions greater than CMak… p4c-lint #6526: Commit 3feffe0 pushed by github-merge-queue bot
October 31, 2024 15:54 5m 44s main
main
October 31, 2024 15:54 5m 44s
p4c-lint p4c-lint #6525: Merge group checks requested
October 31, 2024 15:05 4m 0s
October 31, 2024 15:05 4m 0s
Run typechecking after front and mid end. (#4834) p4c-lint #6524: Commit 8ab8b7d pushed by github-merge-queue bot
October 31, 2024 13:02 3m 42s main
main
October 31, 2024 13:02 3m 42s
p4c-lint p4c-lint #6523: Merge group checks requested
October 31, 2024 12:09 3m 38s
October 31, 2024 12:09 3m 38s
Fix warning about delete not matching new p4c-lint #6522: Pull request #4989 opened by ChrisDodd
October 31, 2024 08:05 4m 16s ChrisDodd:cdodd-delwarn
ChrisDodd:cdodd-delwarn
October 31, 2024 08:05 4m 16s
Add @likely/@unlikely annotations for blocks p4c-lint #6521: Pull request #4979 synchronize by ChrisDodd
October 31, 2024 06:45 3m 37s ChrisDodd:cdodd-likely
ChrisDodd:cdodd-likely
October 31, 2024 06:45 3m 37s
Fix Fedora build and fix CMake warnings on versions greater than CMake 3.24. p4c-lint #6520: Pull request #4986 synchronize by fruffy
October 31, 2024 02:12 3m 49s fruffy/cmake_warnings
fruffy/cmake_warnings
October 31, 2024 02:12 3m 49s
I believe package python3-devel is required on Fedora Linux to ... p4c-lint #6519: Pull request #4987 opened by jafingerhut
October 30, 2024 18:27 3m 37s jafingerhut:update-fedora-deps
jafingerhut:update-fedora-deps
October 30, 2024 18:27 3m 37s
Combo of duplication action name check and LocalizeAllActions fix p4c-lint #6518: Pull request #4975 synchronize by jafingerhut
October 30, 2024 17:35 4m 6s jafingerhut:combo-of-duplication-action-name-check-and-localizeallactions-fix
jafingerhut:combo-of-duplication-action-name-check-and-localizeallactions-fix
October 30, 2024 17:35 4m 6s
Fix Fedora build and fix CMake warnings on versions greater than CMake 3.24. p4c-lint #6517: Pull request #4986 synchronize by fruffy
October 30, 2024 17:20 4m 25s fruffy/cmake_warnings
fruffy/cmake_warnings
October 30, 2024 17:20 4m 25s
Build Z3 from source instead of downloading precompiled binaries. p4c-lint #6516: Pull request #4697 synchronize by fruffy
October 30, 2024 17:17 3m 52s fruffy/z3_source
fruffy/z3_source
October 30, 2024 17:17 3m 52s
Fix Fedora build and fix CMake warnings on versions greater than CMake 3.24. p4c-lint #6515: Pull request #4986 synchronize by fruffy
October 30, 2024 17:04 4m 23s fruffy/cmake_warnings
fruffy/cmake_warnings
October 30, 2024 17:04 4m 23s
Fix Fedora build and fix CMake warnings on versions greater than CMake 3.24. p4c-lint #6514: Pull request #4986 opened by fruffy
October 30, 2024 16:31 33m 28s fruffy/cmake_warnings
fruffy/cmake_warnings
October 30, 2024 16:31 33m 28s