Skip to content

Actions: p4lang/p4-spec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
87 workflow runs
87 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add arrays of non-header types Build and push specification files #42: Pull request #1360 synchronize by ChrisDodd
5m 55s ChrisDodd:cdodd-array
ChrisDodd:cdodd-array
5m 55s
Add arrays of non-header types Build and push specification files #41: Pull request #1360 synchronize by ChrisDodd
6m 16s ChrisDodd:cdodd-array
ChrisDodd:cdodd-array
6m 16s
pages build and deployment pages-build-deployment #143: by github-pages bot
44s gh-pages
gh-pages
44s
Merge pull request #1356 from jaehyun1ee/relax-callsite-restrictions Build and push specification files #40: Commit 72732bd pushed by rcgoodfellow
7m 26s main
main
7m 26s
add +: slices Build and push specification files #39: Pull request #1316 synchronize by ChrisDodd
6m 41s ChrisDodd:cdodd-slice
ChrisDodd:cdodd-slice
6m 41s
Relax runtime and compile-time callsite restrictions Build and push specification files #38: Pull request #1356 synchronize by jaehyun1ee
6m 4s jaehyun1ee:relax-callsite-restrictions
jaehyun1ee:relax-callsite-restrictions
6m 4s
Relax runtime and compile-time callsite restrictions Build and push specification files #37: Pull request #1356 reopened by jafingerhut
5m 55s jaehyun1ee:relax-callsite-restrictions
jaehyun1ee:relax-callsite-restrictions
5m 55s
pages build and deployment pages-build-deployment #142: by github-pages bot
2m 35s gh-pages
gh-pages
2m 35s
Merge pull request #1368 from p4lang/build-spec-on-pr Build and push specification files #36: Commit 7f4dbd4 pushed by jonathan-dilorenzo
6m 46s main
main
6m 46s
pages build and deployment pages-build-deployment #141: by github-pages bot
43s gh-pages
gh-pages
43s
Merge pull request #1367 from jafingerhut/update-grammar-to-be-closer… Build and push specification files #35: Commit d97e58e pushed by jafingerhut
6m 43s main
main
6m 43s
enable CI build workflow on PRs Build and push specification files #34: Pull request #1368 synchronize by rcgoodfellow
5m 53s build-spec-on-pr
build-spec-on-pr
5m 53s
enable CI build workflow on PRs Build and push specification files #33: Commit ab0a0a6 pushed by rcgoodfellow
5m 50s build-spec-on-pr
build-spec-on-pr
5m 50s
enable CI build workflow on PRs Build and push specification files #32: Pull request #1368 synchronize by rcgoodfellow
5m 47s build-spec-on-pr
build-spec-on-pr
5m 47s
enable CI build workflow on PRs Build and push specification files #31: Commit 3836e31 pushed by rcgoodfellow
6m 9s build-spec-on-pr
build-spec-on-pr
6m 9s
enable CI build workflow on PRs Build and push specification files #30: Pull request #1368 synchronize by rcgoodfellow
5m 47s build-spec-on-pr
build-spec-on-pr
5m 47s
enable CI build workflow on PRs Build and push specification files #29: Commit 051da02 pushed by rcgoodfellow
4m 2s build-spec-on-pr
build-spec-on-pr
4m 2s
enable CI build workflow on PRs Build and push specification files #28: Pull request #1368 opened by rcgoodfellow
5m 52s build-spec-on-pr
build-spec-on-pr
5m 52s
enable CI build workflow on PRs Build and push specification files #27: Commit f87a170 pushed by rcgoodfellow
4m 4s build-spec-on-pr
build-spec-on-pr
4m 4s
pages build and deployment pages-build-deployment #140: by github-pages bot
55s gh-pages
gh-pages
55s
Merge pull request #1365 from jafingerhut/update-grammar-to-be-closer… Build and push specification files #26: Commit a17d02b pushed by jonathan-dilorenzo
8m 1s main
main
8m 1s
pages build and deployment pages-build-deployment #139: by github-pages bot
43s gh-pages
gh-pages
43s
pages build and deployment pages-build-deployment #138: by github-pages bot
39s gh-pages
gh-pages
39s
pages build and deployment pages-build-deployment #137: by github-pages bot
42s gh-pages
gh-pages
42s
Merge pull request #1359 from ChrisDodd/cdodd-opassign Build and push specification files #25: Commit c6af942 pushed by jonathan-dilorenzo
6m 36s main
main
6m 36s