Skip to content

Actions: thomasnormal/sv-tutorial

Actions

Deploy to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
117 workflow runs
117 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #23 from thomasnormal/fleet/tutorial-sva-sampling-… Deploy to GitHub Pages #117: Commit 92a582f pushed by thomasnormal
1m 25s main
main
1m 25s
Merge pull request #22 from thomasnormal/fleet/tutorial-next Deploy to GitHub Pages #116: Commit 63b97bb pushed by thomasnormal
1m 13s main
main
1m 13s
Merge pull request #21 from thomasnormal/fleet/tutorial-sv-copy Deploy to GitHub Pages #115: Commit 71a986f pushed by thomasnormal
1m 8s main
main
1m 8s
Merge pull request #20 from thomasnormal/fleet/tutorial-sva-vacuity Deploy to GitHub Pages #114: Commit 733830b pushed by thomasnormal
1m 15s main
main
1m 15s
Merge pull request #19 from thomasnormal/fleet/tutorial-e2e-fixture Deploy to GitHub Pages #113: Commit e0922fa pushed by thomasnormal
1m 10s main
main
1m 10s
Merge pull request #18 from thomasnormal/fleet/tutorial-bmc-verdict Deploy to GitHub Pages #112: Commit 6df323f pushed by thomasnormal
2m 1s main
main
2m 1s
Merge pull request #16 from thomasnormal/fleet/tutorial-compiler-quar… Deploy to GitHub Pages #111: Commit 3cf75c1 pushed by thomasnormal
1m 8s main
main
1m 8s
Merge pull request #17 from thomasnormal/fleet/tutorial-public-scrub Deploy to GitHub Pages #110: Commit 59a89ca pushed by thomasnormal
5m 28s main
main
5m 28s
Merge pull request #14 from thomasnormal/fleet/tutorial-public-scrub Deploy to GitHub Pages #109: Commit fce1bed pushed by thomasnormal
1m 28s main
main
1m 28s
Merge pull request #13 from thomasnormal/fleet/tutorial-interface-met… Deploy to GitHub Pages #108: Commit 3985f1e pushed by thomasnormal
1m 16s main
main
1m 16s
Merge pull request #12 from thomasnormal/fleet/tutorial-coverage-option Deploy to GitHub Pages #107: Commit 6248567 pushed by thomasnormal
2m 32s main
main
2m 32s
Merge pull request #11 from thomasnormal/fleet/tutorial-wide-readmem Deploy to GitHub Pages #106: Commit 644b14b pushed by thomasnormal
1m 39s main
main
1m 39s
Merge pull request #10 from thomasnormal/fleet/tutorial-uvm-ci-green Deploy to GitHub Pages #105: Commit d0b25b2 pushed by thomasnormal
1m 9s main
main
1m 9s
Merge pull request #9 from thomasnormal/fleet/tutorial-fixes Deploy to GitHub Pages #104: Commit 4b7b814 pushed by thomasnormal
1m 18s main
main
1m 18s
build: pass C++20 to the NATIVE host sub-build of the Mox wasm build Deploy to GitHub Pages #103: Commit 24175be pushed by thomasnormal
1m 10s main
main
1m 10s
logs: pale tool-tag lines so program output stands out Deploy to GitHub Pages #102: Commit 1d90d97 pushed by thomasahle
1m 26s main
main
1m 26s
mox-run: drop redundant default args (--mode interpret, --resource-gu… Deploy to GitHub Pages #101: Commit c257a60 pushed by thomasahle
1m 15s main
main
1m 15s
sync-mox-wasm: derive release upload list from TOOLS Deploy to GitHub Pages #100: Commit b00cda1 pushed by thomasahle
1m 39s main
main
1m 39s
Teach the unified mox workflow: run SV-sim lessons via mox-run Deploy to GitHub Pages #99: Commit a369bce pushed by thomasahle
3m 1s main
main
3m 1s
deploy: self-heal MOX browser patches at download time Deploy to GitHub Pages #98: Commit 8822749 pushed by thomasahle
1m 16s main
main
1m 16s
Merge pull request #7 from thomasnormal/fix-pages-deploy Deploy to GitHub Pages #97: Commit 03daf02 pushed by thomasnormal
1m 45s main
main
1m 45s
Merge pull request #5 from PaoloRondot/fix/next-lesson-navigation Deploy to GitHub Pages #96: Commit 943855c pushed by thomasahle
23s main
main
23s
[rtl] Add RTL Design Patterns part with Synthesis chapter Deploy to GitHub Pages #95: Commit d160b7c pushed by thomasahle
25s main
main
25s
Rebuild CIRCT WASM, fix test suite for new build, fix coverage-driven… Deploy to GitHub Pages #94: Commit 3097946 pushed by thomasahle
18s main
main
18s
Merge pull request #1 from casper-hansen/14-fix-unobviousness Deploy to GitHub Pages #93: Commit ce5e693 pushed by thomasnormal
1m 10s main
main
1m 10s