Skip to content

Actions: p4lang/p4c

Actions

test-p4c-debian

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-test-debian.yml
2,987 workflow runs
2,987 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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