Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Actions: Wasm-DSL/spectec

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,354 workflow runs
1,354 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor introducing frame variable
CI for specs #788: Commit 7cac282 pushed by f52985
10m 26s main
pages build and deployment
pages-build-deployment #507: by github-pages bot
27s gh-pages
27s
Notify
Validate/Publish to W3C TR space #268: Pull request #68 synchronize by f52985
2m 22s main
Typeset context variables
CI for specs #787: Commit a30df87 pushed by f52985
10m 0s main
Typeset context variables
CI for spectec #1175: Commit a30df87 pushed by f52985
13m 3s main
pages build and deployment
pages-build-deployment #506: by github-pages bot
27s gh-pages
27s
Notify
Validate/Publish to W3C TR space #267: Pull request #68 synchronize by f52985
2m 17s main
Simplify record access
CI for spectec #1174: Commit 7d78a8a pushed by f52985
13m 36s main
Simplify record access
CI for specs #786: Commit 7d78a8a pushed by f52985
1h 43m 15s main
pages build and deployment
pages-build-deployment #505: by github-pages bot
36s gh-pages
36s
Notify
Validate/Publish to W3C TR space #266: Pull request #68 synchronize by f52985
2m 21s main
Expand iters into loop
CI for specs #785: Commit aca2689 pushed by f52985
9m 33s main
Expand iters into loop
CI for spectec #1173: Commit aca2689 pushed by f52985
12m 46s main
pages build and deployment
pages-build-deployment #504: by github-pages bot
30s gh-pages
30s
Notify
Validate/Publish to W3C TR space #265: Pull request #68 synchronize by rossberg
3m 27s main
Port text format for types ot SpecTec
CI for spectec #1172: Commit d8c2a19 pushed by rossberg
12m 20s main
Port text format for types ot SpecTec
CI for specs #784: Commit d8c2a19 pushed by rossberg
40m 58s main
pages build and deployment
pages-build-deployment #503: by github-pages bot
24s gh-pages
24s
Notify
Validate/Publish to W3C TR space #264: Pull request #68 synchronize by rossberg
3m 4s main
SpecTec text format: lexical, values
CI for spectec #1171: Commit 53e89d1 pushed by rossberg
13m 3s main
pages build and deployment
pages-build-deployment #502: by github-pages bot
22s gh-pages
22s
Notify
Validate/Publish to W3C TR space #263: Pull request #68 synchronize by f52985
3m 44s main
Merge option iters and IsDefinedE
CI for spectec #1170: Commit 99587f6 pushed by f52985
12m 19s main
Merge option iters and IsDefinedE
CI for specs #782: Commit 99587f6 pushed by f52985
12m 40s main