Skip to content

Actions: cksystemsteaching/selfie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
549 workflow runs
549 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make Everything Selfie Make Everything Selfie #2088: Scheduled
2h 30m 53s main
main
2h 30m 53s
Fixing bool-oblivious hashing Make Everything Selfie #2087: Commit c58d2a6 pushed by ckirsch
2h 29m 37s rotor
rotor
2h 29m 37s
Make Everything Selfie Make Everything Selfie #2086: Scheduled
2h 33m 6s main
main
2h 33m 6s
Swapping is uncached by default to reduce memory consumption Make Everything Selfie #2085: Commit 4bcefab pushed by ckirsch
2h 33m 15s rotor
rotor
2h 33m 15s
Merge remote-tracking branch 'origin/rotor' into rotor Make Everything Selfie #2084: Commit e8b0cdd pushed by ckirsch
2h 42m 3s rotor
rotor
2h 42m 3s
Newly collected sample data Make Everything Selfie #2083: Commit 5b9a948 pushed by Popax21
2h 37m 28s rotor
rotor
2h 37m 28s
In fact swapping is involutory, not idempotent Make Everything Selfie #2082: Commit 7b82035 pushed by ckirsch
2h 42m 32s rotor
rotor
2h 42m 32s
Swapping is idempotent Make Everything Selfie #2081: Commit 0bad40a pushed by ckirsch
2h 45m 5s rotor
rotor
2h 45m 5s
Fixing tiny bug in BVDD expression generation Make Everything Selfie #2080: Commit 98167a9 pushed by ckirsch
2h 41m 59s rotor
rotor
2h 41m 59s
Recollect CFLOBVDD data Make Everything Selfie #2079: Commit c9cf09f pushed by Popax21
2h 39m 55s rotor
rotor
2h 39m 55s
Make Everything Selfie Make Everything Selfie #2078: Scheduled
1h 55m 8s main
main
1h 55m 8s
visualization scripts Make Everything Selfie #2077: Commit e577b8a pushed by SohrabiAlir
2h 38m 32s bv_gen
bv_gen
2h 38m 32s
cflobvdd.c with single-digit console argument for controlling input size Autograde Selfie Assignment #1337: Commit 698b212 pushed by ckirsch
16s rotor
rotor
16s
cflobvdd.c with single-digit console argument for controlling input size Make Everything Selfie #2076: Commit 698b212 pushed by ckirsch
2h 39m 28s rotor
rotor
2h 39m 28s
cflobvdd C code with additional data flow to exercise BDDs Make Everything Selfie #2075: Commit 4eb8448 pushed by ckirsch
2h 38m 48s rotor
rotor
2h 38m 48s
cflobvdd C code with additional data flow to exercise BDDs Autograde Selfie Assignment #1336: Commit 4eb8448 pushed by ckirsch
15s rotor
rotor
15s
Fixing bug in downsampling Make Everything Selfie #2074: Commit 9a78c67 pushed by ckirsch
2h 40m 23s rotor
rotor
2h 40m 23s
Preparing proper internal node consistency check Make Everything Selfie #2073: Commit c6c133d pushed by ckirsch
2h 41m 4s rotor
rotor
2h 41m 4s
Decreasing default heap size in rotor Make Everything Selfie #2072: Commit b09e785 pushed by ckirsch
2h 42m 58s rotor
rotor
2h 42m 58s
Decreasing default heap size in rotor Autograde Selfie Assignment #1335: Commit b09e785 pushed by ckirsch
15s rotor
rotor
15s
Revert "Experimental value forking, does not work due to explosion of… Make Everything Selfie #2071: Commit a69ed61 pushed by ckirsch
2h 43m 6s rotor
rotor
2h 43m 6s
Make Everything Selfie Make Everything Selfie #2070: Scheduled
2h 37m 54s main
main
2h 37m 54s
CFLOBVDD header comment Make Everything Selfie #2069: Commit b5ee017 pushed by ckirsch
2h 39m 35s rotor
rotor
2h 39m 35s
Moving code into consistent place Make Everything Selfie #2068: Commit 44fa9ac pushed by ckirsch
2h 41m 12s rotor
rotor
2h 41m 12s
Upsampling BVDDs works, needs more testing Make Everything Selfie #2067: Commit b68c706 pushed by ckirsch
2h 38m 19s rotor
rotor
2h 38m 19s