Skip to content

Actions: huydo862003/MPiSC

Actions

Build Typst Projects

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
152 workflow runs
152 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(report): recover old theoretical aspects Build Typst Projects #873: Commit 31e0980 pushed by huydo862003
37s main
main
37s
fix(report): typo Build Typst Projects #872: Commit 34aaa8f pushed by huydo862003
42s main
main
42s
fix: remove wrong part of proof Build Typst Projects #871: Commit 74f006c pushed by huydo862003
55s main
main
55s
fix(report): add missing part of proof Build Typst Projects #870: Commit d633a74 pushed by huydo862003
1m 30s main
main
1m 30s
fix(report): typo Build Typst Projects #869: Commit 6acefa0 pushed by huydo862003
44s main
main
44s
fix: typo Build Typst Projects #868: Commit 5b3536e pushed by huydo862003
46s main
main
46s
feat(report): update proof Build Typst Projects #867: Commit f3f424f pushed by huydo862003
51s main
main
51s
fix(report): temporarily leave out theoretical aspects Build Typst Projects #866: Commit 87ea21e pushed by huydo862003
43s main
main
43s
feat(report): add partial proof Build Typst Projects #865: Commit c43db0a pushed by huydo862003
45s main
main
45s
feat(report): add linearizable properties Build Typst Projects #864: Commit fe98d38 pushed by huydo862003
1m 34s main
main
1m 34s
feat(report): add sequential specifications of queues Build Typst Projects #863: Commit 6ba232f pushed by huydo862003
1m 34s main
main
1m 34s
fix(report): recover some sections Build Typst Projects #862: Commit 5cd9f76 pushed by huydo862003
1m 31s main
main
1m 31s
fix(report): remove linearizability Build Typst Projects #861: Commit ee656b2 pushed by huydo862003
2m 11s main
main
2m 11s
fix(report): typo Build Typst Projects #860: Commit 96d9759 pushed by huydo862003
44s main
main
44s
fix(report): recover linearizable SPSC proof Build Typst Projects #859: Commit 0f8139f pushed by huydo862003
1m 45s main
main
1m 45s
fix(report): recover linearizable SPSC proof Build Typst Projects #858: Commit 32e379c pushed by huydo862003
48s main
main
48s
fix(report): consistency Build Typst Projects #857: Commit 0068a89 pushed by huydo862003
1m 27s main
main
1m 27s
fix(report): consistency Build Typst Projects #856: Commit 11dea10 pushed by huydo862003
43s main
main
43s
fix(report): readd ABA-safety Build Typst Projects #855: Commit 8b4ff4d pushed by huydo862003
1m 31s main
main
1m 31s
feat(report): add axiomatic spec for MPSC queues Build Typst Projects #854: Commit b684351 pushed by huydo862003
1m 24s main
main
1m 24s
fix(report): typo Build Typst Projects #853: Commit 0808190 pushed by huydo862003
1m 31s main
main
1m 31s
fix(report): add signature Build Typst Projects #852: Commit f92a2c3 pushed by huydo862003
1m 29s main
main
1m 29s
fix(report): metadata Build Typst Projects #851: Commit 60f08c3 pushed by huydo862003
11s main
main
11s
feat(report): add axiomatic specification for SPSC Build Typst Projects #850: Commit 86d2717 pushed by huydo862003
1m 50s main
main
1m 50s
fix(report): typos Build Typst Projects #849: Commit dc6f011 pushed by huydo862003
37s main
main
37s