Skip to content

Actions: francescoo22/masters-thesis

Actions

Build Typst document

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yaml
178 workflow runs
178 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add aliasing problem example Build Typst document #78: Commit fc16034 pushed by francescoo22
August 9, 2024 13:54 20s main
main
August 9, 2024 13:54 20s
Fix TODOs Build Typst document #77: Commit caa0c68 pushed by francescoo22
August 8, 2024 13:13 21s main
main
August 8, 2024 13:13 21s
Examples written with grammar Build Typst document #76: Commit cfda2c6 pushed by francescoo22
August 8, 2024 11:49 26s main
main
August 8, 2024 11:49 26s
Add annotation background Build Typst document #75: Commit 72baa7c pushed by francescoo22
August 8, 2024 08:21 18s main
main
August 8, 2024 08:21 18s
Add annotations background Build Typst document #74: Commit d6fc525 pushed by francescoo22
August 8, 2024 08:14 18s main
main
August 8, 2024 08:14 18s
Modify structure Build Typst document #73: Commit ec42e2d pushed by francescoo22
August 7, 2024 16:12 22s main
main
August 7, 2024 16:12 22s
Add nagini related work Build Typst document #72: Commit 061c477 pushed by francescoo22
August 7, 2024 12:27 21s main
main
August 7, 2024 12:27 21s
Fix layout Build Typst document #71: Commit df1817b pushed by francescoo22
August 7, 2024 09:33 25s main
main
August 7, 2024 09:33 25s
Add gobra paragraph Build Typst document #70: Commit bd729af pushed by francescoo22
August 6, 2024 16:09 21s main
main
August 6, 2024 16:09 21s
Add rust paragraph Build Typst document #69: Commit 87688fe pushed by francescoo22
August 6, 2024 15:28 22s main
main
August 6, 2024 15:28 22s
Add prusti Build Typst document #68: Commit c705183 pushed by francescoo22
August 6, 2024 14:41 27s main
main
August 6, 2024 14:41 27s
Fix related systems Build Typst document #67: Commit da6c528 pushed by francescoo22
August 6, 2024 11:59 26s main
main
August 6, 2024 11:59 26s
Add uniqueness related work Build Typst document #66: Commit 4bf1b6e pushed by francescoo22
August 5, 2024 15:27 21s main
main
August 5, 2024 15:27 21s
Add uniqueness systems background Build Typst document #65: Commit 50f2213 pushed by francescoo22
August 5, 2024 15:24 20s main
main
August 5, 2024 15:24 20s
Fix related work structure Build Typst document #64: Commit ba92bf6 pushed by francescoo22
August 5, 2024 12:57 18s main
main
August 5, 2024 12:57 18s
Fix todos Build Typst document #63: Commit d2373e2 pushed by francescoo22
August 5, 2024 08:59 16s main
main
August 5, 2024 08:59 16s
Complete Kotlin background Build Typst document #62: Commit b1abaed pushed by francescoo22
July 26, 2024 13:53 19s main
main
July 26, 2024 13:53 19s
Add separation logic background Build Typst document #61: Commit 1f8e748 pushed by francescoo22
July 26, 2024 10:54 18s main
main
July 26, 2024 10:54 18s
Add viper functions background Build Typst document #60: Commit 6b8001e pushed by francescoo22
July 26, 2024 08:23 26s main
main
July 26, 2024 08:23 26s
Add Viper background Build Typst document #59: Commit efc2343 pushed by francescoo22
July 25, 2024 17:43 24s main
main
July 25, 2024 17:43 24s
Add introduction draft Build Typst document #58: Commit e4cbc7d pushed by francescoo22
July 24, 2024 18:21 19s main
main
July 24, 2024 18:21 19s
Add Koltin annotations chapter Build Typst document #57: Commit 9c3b40d pushed by francescoo22
July 24, 2024 09:22 16s main
main
July 24, 2024 09:22 16s
Add Koltin annotations chapter Build Typst document #56: Commit 6888c53 pushed by francescoo22
July 24, 2024 09:18 16s main
main
July 24, 2024 09:18 16s
Update README Build Typst document #55: Commit 318fb3c pushed by francescoo22
July 17, 2024 15:50 20s main
main
July 17, 2024 15:50 20s
Improve Koltin background + fixes Build Typst document #54: Commit 0e189f0 pushed by francescoo22
July 17, 2024 15:01 24s main
main
July 17, 2024 15:01 24s