Skip to content

Actions: Beneficial-AI-Foundation/dalek-lite

Actions

Deploy Website to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy-pages.yml
347 workflow runs
347 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
Fix doc/code gaps in Verus annotations (#782) Deploy Website to GitHub Pages #349: Commit de9ebf0 pushed by astefano
3m 8s main
main
3m 8s
Address PR #778 review comments (#780) Deploy Website to GitHub Pages #348: Commit 90ec242 pushed by sergiubur
3m 0s main
main
3m 0s
Replace assumes by admit(), fix a comment and tweak comments (#778) Deploy Website to GitHub Pages #347: Commit 34c6a79 pushed by astefano
1m 11s main
main
1m 11s
Mark spec-less out-of-scope functions #[verifier::external] (#777) Deploy Website to GitHub Pages #346: Commit 8bf52f9 pushed by astefano
3m 5s main
main
3m 5s
Fix/website filtering and external body cleanup (#774) Deploy Website to GitHub Pages #345: Commit 3f3443e pushed by sergiubur
3m 1s main
main
3m 1s
Deploy Website to GitHub Pages Deploy Website to GitHub Pages #344: Manually run by astefano
2m 47s main
main
2m 47s
add spec-taxonomy.toml and standardize axiom justification types (#773) Deploy Website to GitHub Pages #343: Commit ec7b089 pushed by astefano
2m 55s main
main
2m 55s
Deploy Website to GitHub Pages Deploy Website to GitHub Pages #342: Manually run by astefano
1m 11s main
main
1m 11s
verify lizard (#771) Deploy Website to GitHub Pages #341: Commit d26bf6e pushed by astefano
2m 50s main
main
2m 50s
Deploy Website to GitHub Pages Deploy Website to GitHub Pages #340: Manually run by astefano
1m 8s main
main
1m 8s
Deploy Website to GitHub Pages Deploy Website to GitHub Pages #339: Manually run by astefano
1m 23s main
main
1m 23s
Math comments specs (#770) Deploy Website to GitHub Pages #338: Commit bea4539 pushed by sergiubur
3m 2s main
main
3m 2s
Deploy Website to GitHub Pages Deploy Website to GitHub Pages #337: Manually run by astefano
3m 11s main
main
3m 11s
Deploy Website to GitHub Pages Deploy Website to GitHub Pages #336: Manually run by sergiubur
3m 0s main
main
3m 0s
Prove vartime double-base multiplication (#760) Deploy Website to GitHub Pages #335: Commit f93c341 pushed by sergiubur
2m 56s main
main
2m 56s
Specifications for lizard functions (#754) Deploy Website to GitHub Pages #334: Commit f5dbd2c pushed by sergiubur
3m 2s main
main
3m 2s
Deploy Website to GitHub Pages Deploy Website to GitHub Pages #333: Manually run by sergiubur
1m 14s spec-lizard
spec-lizard
1m 14s
Deploy Website to GitHub Pages Deploy Website to GitHub Pages #332: Manually run by sergiubur
1m 11s spec-lizard
spec-lizard
1m 11s
Deploy Website to GitHub Pages Deploy Website to GitHub Pages #331: Manually run by sergiubur
1m 16s spec-lizard
spec-lizard
1m 16s
Deploy Website to GitHub Pages Deploy Website to GitHub Pages #330: Manually run by sergiubur
1m 23s spec-lizard
spec-lizard
1m 23s
Deploy Website to GitHub Pages Deploy Website to GitHub Pages #329: Manually run by sergiubur
1m 16s spec-lizard
spec-lizard
1m 16s
Deploy Website to GitHub Pages Deploy Website to GitHub Pages #328: Manually run by sergiubur
1m 19s spec-lizard
spec-lizard
1m 19s
Deploy Website to GitHub Pages Deploy Website to GitHub Pages #327: Manually run by sergiubur
1m 15s spec-lizard
spec-lizard
1m 15s
Deploy Website to GitHub Pages Deploy Website to GitHub Pages #326: Manually run by sergiubur
2m 45s spec-lizard
spec-lizard
2m 45s
Deploy Website to GitHub Pages Deploy Website to GitHub Pages #325: Manually run by sergiubur
1m 23s spec-lizard
spec-lizard
1m 23s