Skip to content

Actions: verus-lang/event-sites

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
78 workflow runs
78 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

last updates to demo/slides deploy 2024 site #80: Commit f64f10e pushed by tjhance
November 4, 2024 17:00 52s main
main
November 4, 2024 17:00 52s
recording ad deploy 2024 site #79: Commit 1bc185e pushed by utaal
November 4, 2024 15:06 3m 26s main
main
November 4, 2024 15:06 3m 26s
update fibo example deploy 2024 site #78: Commit 88f8c90 pushed by utaal
November 3, 2024 19:23 52s main
main
November 3, 2024 19:23 52s
update slides, fibo example deploy 2024 site #77: Commit 6cd46ef pushed by utaal
November 3, 2024 17:53 56s main
main
November 3, 2024 17:53 56s
update welcome slide deploy 2024 site #76: Commit 4afccd6 pushed by utaal
November 3, 2024 14:18 47s main
main
November 3, 2024 14:18 47s
add Zoom meeting info deploy 2024 site #75: Commit e3f3029 pushed by utaal
November 3, 2024 14:17 50s main
main
November 3, 2024 14:17 50s
Update 03-smt-and-quantifiers.pptx deploy 2024 site #74: Commit 0e40c4e pushed by Chris-Hawblitzel
November 3, 2024 13:58 47s main
main
November 3, 2024 13:58 47s
Update 03-smt-and-quantifiers.pptx deploy 2024 site #73: Commit 5d506cf pushed by Chris-Hawblitzel
November 3, 2024 13:40 48s main
main
November 3, 2024 13:40 48s
welcome slide deploy 2024 site #72: Commit 5a6439d pushed by utaal
November 3, 2024 12:18 52s main
main
November 3, 2024 12:18 52s
link zip file from tutorial home page deploy 2024 site #71: Commit 4c3b93e pushed by utaal
November 3, 2024 12:06 51s main
main
November 3, 2024 12:06 51s
add zip file deploy 2024 site #70: Commit 5d5a033 pushed by utaal
November 3, 2024 12:00 52s main
main
November 3, 2024 12:00 52s
add fibo.rs to exercises deploy 2024 site #69: Commit f0df6d2 pushed by utaal
November 3, 2024 11:57 51s main
main
November 3, 2024 11:57 51s
Add SMT exercise solutions deploy 2024 site #68: Commit 004bac3 pushed by Chris-Hawblitzel
November 3, 2024 02:00 1m 21s main
main
November 3, 2024 02:00 1m 21s
Update SMT slides, exercises deploy 2024 site #67: Commit 06801c9 pushed by Chris-Hawblitzel
November 3, 2024 01:46 49s main
main
November 3, 2024 01:46 49s
quick clean up pass on exercises/solutions deploy 2024 site #66: Commit f9a86d2 pushed by tjhance
November 3, 2024 01:35 47s main
main
November 3, 2024 01:35 47s
update slides deploy 2024 site #65: Commit 7ac3e09 pushed by tjhance
November 3, 2024 01:28 51s main
main
November 3, 2024 01:28 51s
simplify lock demo deploy 2024 site #64: Commit dea51f5 pushed by tjhance
November 3, 2024 01:09 45s main
main
November 3, 2024 01:09 45s
add cell to demos deploy 2024 site #63: Commit 5c946f9 pushed by tjhance
November 3, 2024 00:54 45s main
main
November 3, 2024 00:54 45s
clarify comments in exercise_03 deploy 2024 site #62: Commit ac72105 pushed by tjhance
November 2, 2024 19:33 54s main
main
November 2, 2024 19:33 54s
add links to materials to homepage deploy 2024 site #61: Commit 973069a pushed by utaal
November 2, 2024 19:24 56s main
main
November 2, 2024 19:24 56s
update verus intro slides, exercises deploy 2024 site #60: Commit 58747af pushed by utaal
November 2, 2024 19:15 48s main
main
November 2, 2024 19:15 48s
update verus intro slides deploy 2024 site #59: Commit b5d0876 pushed by utaal
November 2, 2024 19:02 56s main
main
November 2, 2024 19:02 56s
point to where to edit in exercise deploy 2024 site #58: Commit 1691db1 pushed by utaal
November 2, 2024 18:59 52s main
main
November 2, 2024 18:59 52s
add verus-intro second exercise deploy 2024 site #57: Commit b90f28d pushed by utaal
November 2, 2024 18:55 45s main
main
November 2, 2024 18:55 45s
add README for the exercises deploy 2024 site #56: Commit 4f594d4 pushed by tjhance
November 2, 2024 17:41 50s main
main
November 2, 2024 17:41 50s