Skip to content

Actions: p4lang/p4c

Actions

test-p4c-fedora

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-test-fedora.yml
2,935 workflow runs
2,935 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove IR::Annotations and make IAnnotated to carry annotations inline test-p4c-fedora #2935: Pull request #4992 synchronize by asl
November 1, 2024 12:53 41m 23s asl:annotations-clones
asl:annotations-clones
November 1, 2024 12:53 41m 23s
Remove IR::Annotations and make IAnnotated to carry annotations inline test-p4c-fedora #2934: Pull request #4992 opened by asl
November 1, 2024 12:47 6m 15s asl:annotations-clones
asl:annotations-clones
November 1, 2024 12:47 6m 15s
Add abseil formatters test-p4c-fedora #2933: Pull request #4971 synchronize by asl
November 1, 2024 10:23 39m 7s asl:absl-stringify
asl:absl-stringify
November 1, 2024 10:23 39m 7s
Fix warning about delete not matching new (#4989) test-p4c-fedora #2932: Commit 09b4e63 pushed by github-merge-queue bot
October 31, 2024 23:04 38m 52s main
main
October 31, 2024 23:04 38m 52s
test-p4c-fedora test-p4c-fedora #2931: Merge group checks requested
October 31, 2024 21:50 38m 12s
October 31, 2024 21:50 38m 12s
search for includes in share/p4c test-p4c-fedora #2930: Pull request #4978 synchronize by ChrisDodd
October 31, 2024 20:29 43m 58s ChrisDodd:cdodd-includepath
ChrisDodd:cdodd-includepath
October 31, 2024 20:29 43m 58s
Add @likely/@unlikely annotations for blocks test-p4c-fedora #2929: Pull request #4979 synchronize by ChrisDodd
October 31, 2024 20:28 47m 35s ChrisDodd:cdodd-likely
ChrisDodd:cdodd-likely
October 31, 2024 20:28 47m 35s
Fix warning about delete not matching new test-p4c-fedora #2928: Pull request #4989 synchronize by ChrisDodd
October 31, 2024 20:27 39m 30s ChrisDodd:cdodd-delwarn
ChrisDodd:cdodd-delwarn
October 31, 2024 20:27 39m 30s
Build Z3 from source instead of downloading precompiled binaries. (#4… test-p4c-fedora #2927: Commit 8ba0201 pushed by github-merge-queue bot
October 31, 2024 18:50 27m 23s main
main
October 31, 2024 18:50 27m 23s
test-p4c-fedora test-p4c-fedora #2926: Merge group checks requested
October 31, 2024 17:37 26m 16s
October 31, 2024 17:37 26m 16s
Build Z3 from source instead of downloading precompiled binaries. test-p4c-fedora #2925: Pull request #4697 synchronize by fruffy
October 31, 2024 16:02 59m 20s fruffy/z3_source
fruffy/z3_source
October 31, 2024 16:02 59m 20s
Combo of duplication action name check and LocalizeAllActions fix test-p4c-fedora #2924: Pull request #4975 synchronize by jafingerhut
October 31, 2024 15:56 46m 17s 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 46m 17s
Fix Fedora build and fix CMake warnings on versions greater than CMak… test-p4c-fedora #2923: Commit 3feffe0 pushed by github-merge-queue bot
October 31, 2024 15:54 43m 53s main
main
October 31, 2024 15:54 43m 53s
test-p4c-fedora test-p4c-fedora #2922: Merge group checks requested
October 31, 2024 15:05 44m 11s
October 31, 2024 15:05 44m 11s
Run typechecking after front and mid end. (#4834) test-p4c-fedora #2921: Commit 8ab8b7d pushed by github-merge-queue bot
October 31, 2024 13:02 7m 1s main
main
October 31, 2024 13:02 7m 1s
test-p4c-fedora test-p4c-fedora #2920: Merge group checks requested
October 31, 2024 12:09 7m 19s
October 31, 2024 12:09 7m 19s
Fix warning about delete not matching new test-p4c-fedora #2919: Pull request #4989 opened by ChrisDodd
October 31, 2024 08:05 7m 16s ChrisDodd:cdodd-delwarn
ChrisDodd:cdodd-delwarn
October 31, 2024 08:05 7m 16s
Add @likely/@unlikely annotations for blocks test-p4c-fedora #2918: Pull request #4979 synchronize by ChrisDodd
October 31, 2024 06:45 7m 4s ChrisDodd:cdodd-likely
ChrisDodd:cdodd-likely
October 31, 2024 06:45 7m 4s
Fix Fedora build and fix CMake warnings on versions greater than CMake 3.24. test-p4c-fedora #2917: Pull request #4986 synchronize by fruffy
October 31, 2024 02:12 44m 42s fruffy/cmake_warnings
fruffy/cmake_warnings
October 31, 2024 02:12 44m 42s
I believe package python3-devel is required on Fedora Linux to ... test-p4c-fedora #2916: Pull request #4987 opened by jafingerhut
October 30, 2024 18:27 7m 8s jafingerhut:update-fedora-deps
jafingerhut:update-fedora-deps
October 30, 2024 18:27 7m 8s
Combo of duplication action name check and LocalizeAllActions fix test-p4c-fedora #2915: Pull request #4975 synchronize by jafingerhut
October 30, 2024 17:35 34m 20s 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 34m 20s
Fix Fedora build and fix CMake warnings on versions greater than CMake 3.24. test-p4c-fedora #2914: Pull request #4986 synchronize by fruffy
October 30, 2024 17:20 45m 35s fruffy/cmake_warnings
fruffy/cmake_warnings
October 30, 2024 17:20 45m 35s
Build Z3 from source instead of downloading precompiled binaries. test-p4c-fedora #2913: Pull request #4697 synchronize by fruffy
October 30, 2024 17:17 44m 25s fruffy/z3_source
fruffy/z3_source
October 30, 2024 17:17 44m 25s
Fix Fedora build and fix CMake warnings on versions greater than CMake 3.24. test-p4c-fedora #2912: Pull request #4986 synchronize by fruffy
October 30, 2024 17:04 7m 25s fruffy/cmake_warnings
fruffy/cmake_warnings
October 30, 2024 17:04 7m 25s
Fix Fedora build and fix CMake warnings on versions greater than CMake 3.24. test-p4c-fedora #2911: Pull request #4986 opened by fruffy
October 30, 2024 16:31 33m 5s fruffy/cmake_warnings
fruffy/cmake_warnings
October 30, 2024 16:31 33m 5s