Skip to content

Actions: CHARM-BDF/charmchat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
explicit skip Verify #26: Commit ac7abe9 pushed by namin
55s lemma
lemma
55s
typecheck Verify #25: Commit c3eefbf pushed by namin
48s lemma
lemma
48s
fix formatting in README Verify #24: Commit 5787a52 pushed by namin
54s lemma
lemma
54s
modify CI badge Verify #23: Commit 49b38df pushed by namin
49s lemma
lemma
49s
CI badge Verify #22: Commit 3f70495 pushed by namin
46s lemma
lemma
46s
bump CI Verify #21: Commit c3b426f pushed by namin
43s lemma
lemma
43s
add LS candidate Verify #20: Commit e8367d8 pushed by namin
37s lemma
lemma
37s
Merge branch 'main' into lemma Verify #19: Commit 71c4b4c pushed by namin
40s lemma
lemma
40s
Merge branch 'main' into lemma Verify #18: Commit 3839db5 pushed by namin
37s lemma
lemma
37s
lemmascript case study writeup Verify #17: Commit a9a5d43 pushed by namin
47s lemma
lemma
47s
toposort verified Verify #16: Commit f6e2e3a pushed by namin
43s lemma
lemma
43s
2 timeouts Verify #15: Commit 8a1d752 pushed by namin
46s lemma
lemma
46s
more but not there Verify #14: Commit ce594a5 pushed by namin
45s lemma
lemma
45s
Merge branch 'main' into lemma Verify #13: Commit 98e69bb pushed by namin
54s lemma
lemma
54s
more but many timeouts Verify #12: Commit 9221eba pushed by namin
39s lemma
lemma
39s
retrigger CI after update Verify #11: Commit 7399bf2 pushed by namin
56s lemma
lemma
56s
wip, but assert false does not go through Verify #10: Commit c122b4d pushed by namin
32s lemma
lemma
32s
update Verify #9: Commit 1d1ee54 pushed by namin
37s lemma
lemma
37s
update Verify #8: Commit 79825b2 pushed by namin
46s lemma
lemma
46s
retrigger CI after LemmaScript update Verify #7: Commit b1051d1 pushed by namin
36s lemma
lemma
36s
update status Verify #6: Commit 4881bdb pushed by namin
46s lemma
lemma
46s
move to slow pile Verify #5: Commit cbf6810 pushed by namin
34s lemma
lemma
34s
a bit more, but not complete Verify #4: Commit 8a2f086 pushed by namin
1m 2s lemma
lemma
1m 2s
add axiom to tame CI Verify #3: Commit e87d573 pushed by namin
45s lemma
lemma
45s
first pass at toposort Verify #2: Commit f87c110 pushed by namin
37s lemma
lemma
37s