Skip to content

Actions: verified-network-toolchain/petr4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
128 workflow runs
128 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
push-petr4-docker-img push-petr4-docker-img #91: completed by jnfoster
February 3, 2024 21:29 2s
February 3, 2024 21:29 2s
Fix build according to README.md build-petr4 #271: Commit 9508676 pushed by jnfoster
February 3, 2024 21:23 5m 47s main
main
February 3, 2024 21:23 5m 47s
P4 formalization build-petr4 #270: Pull request #442 synchronize by pataei
October 12, 2023 11:44 7m 40s p4-formalization
p4-formalization
October 12, 2023 11:44 7m 40s
P4 formalization build-petr4 #269: Pull request #442 synchronize by pataei
September 11, 2023 23:16 3m 23s p4-formalization
p4-formalization
September 11, 2023 23:16 3m 23s
push-petr4-docker-img push-petr4-docker-img #90: completed by jnfoster
September 7, 2023 09:04 3s
September 7, 2023 09:04 3s
Merge pull request #491 from verified-network-toolchain/cimpl build-petr4 #268: Commit fb10faf pushed by jnfoster
September 7, 2023 08:59 4m 13s main
main
September 7, 2023 08:59 4m 13s
P4Cub-based Cimpl build-petr4 #267: Pull request #491 synchronize by jnfoster
September 7, 2023 08:59 4m 18s cimpl
cimpl
September 7, 2023 08:59 4m 18s
P4Cub-based Cimpl build-petr4 #266: Pull request #491 synchronize by jnfoster
September 7, 2023 08:58 3m 30s cimpl
cimpl
September 7, 2023 08:58 3m 30s
P4Cub-based Cimpl build-petr4 #265: Pull request #491 opened by jnfoster
September 7, 2023 08:57 4m 3s cimpl
cimpl
September 7, 2023 08:57 4m 3s
push-petr4-docker-img push-petr4-docker-img #89: completed by jnfoster
September 7, 2023 08:19 3s
September 7, 2023 08:19 3s
push-petr4-docker-img push-petr4-docker-img #88: completed by jnfoster
September 7, 2023 08:17 3s
September 7, 2023 08:17 3s
Merge pull request #490 from verified-network-toolchain/test_tidy build-petr4 #264: Commit c6abb63 pushed by jnfoster
September 7, 2023 08:15 4m 37s main
main
September 7, 2023 08:15 4m 37s
Merge pull request #489 from verified-network-toolchain/ccomp_tidy build-petr4 #263: Commit cb4264e pushed by jnfoster
September 7, 2023 08:13 3m 59s main
main
September 7, 2023 08:13 3m 59s
Consolidate tests build-petr4 #262: Pull request #490 opened by jnfoster
September 4, 2023 14:32 21m 53s test_tidy
test_tidy
September 4, 2023 14:32 21m 53s
More tidying: move Clight backend aside build-petr4 #261: Pull request #489 opened by jnfoster
September 4, 2023 14:16 20s ccomp_tidy
ccomp_tidy
September 4, 2023 14:16 20s
push-petr4-docker-img push-petr4-docker-img #87: completed by jnfoster
August 31, 2023 13:43 23s
August 31, 2023 13:43 23s
Merge pull request #488 from verified-network-toolchain/tidying build-petr4 #260: Commit c07ce08 pushed by jnfoster
August 31, 2023 12:53 49m 47s main
main
August 31, 2023 12:53 49m 47s
P4 formalization build-petr4 #259: Pull request #442 synchronize by pataei
August 28, 2023 13:56 37m 25s p4-formalization
p4-formalization
August 28, 2023 13:56 37m 25s
P4 formalization build-petr4 #258: Pull request #442 synchronize by pataei
August 28, 2023 13:07 27m 47s p4-formalization
p4-formalization
August 28, 2023 13:07 27m 47s
P4 formalization build-petr4 #257: Pull request #442 synchronize by pataei
August 28, 2023 03:06 29m 16s p4-formalization
p4-formalization
August 28, 2023 03:06 29m 16s
Tidying build-petr4 #256: Pull request #488 opened by jnfoster
August 23, 2023 18:40 57m 20s tidying
tidying
August 23, 2023 18:40 57m 20s
P4 formalization build-petr4 #255: Pull request #442 synchronize by pataei
August 14, 2023 14:54 6m 26s p4-formalization
p4-formalization
August 14, 2023 14:54 6m 26s
P4 formalization build-petr4 #254: Pull request #442 synchronize by pataei
July 26, 2023 22:36 34m 30s p4-formalization
p4-formalization
July 26, 2023 22:36 34m 30s
P4 formalization build-petr4 #253: Pull request #442 synchronize by pataei
July 25, 2023 17:31 28m 51s p4-formalization
p4-formalization
July 25, 2023 17:31 28m 51s
P4 formalization build-petr4 #252: Pull request #442 synchronize by pataei
July 24, 2023 16:46 26m 7s p4-formalization
p4-formalization
July 24, 2023 16:46 26m 7s