Skip to content

Actions: kaist-plrg/urcrat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
134 workflow runs
134 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

memcpy CI #9: Commit 0561092 pushed by Medowhill
December 13, 2023 14:56 1m 23s master
master
December 13, 2023 14:56 1m 23s
vararg CI #8: Commit 0ce4cc4 pushed by Medowhill
December 13, 2023 14:01 1m 22s master
master
December 13, 2023 14:01 1m 22s
* = *, extern static, byte str lit, ignore main CI #7: Commit e19662e pushed by Medowhill
December 13, 2023 07:18 1m 32s master
master
December 13, 2023 07:18 1m 32s
function call (arg-param aliasing) CI #6: Commit 0d60cee pushed by Medowhill
December 12, 2023 14:57 1m 10s master
master
December 12, 2023 14:57 1m 10s
static with body CI #5: Commit 9b109ff pushed by Medowhill
December 12, 2023 14:35 1m 27s master
master
December 12, 2023 14:35 1m 27s
alloc, operation, static CI #4: Commit 36f9141 pushed by Medowhill
December 12, 2023 13:56 1m 22s master
master
December 12, 2023 13:56 1m 22s
correct unify CI #3: Commit 696ab92 pushed by Medowhill
December 12, 2023 11:41 1m 15s master
master
December 12, 2023 11:41 1m 15s
steensgaard test_eq CI #2: Commit d30c2a4 pushed by Medowhill
December 11, 2023 14:58 1m 30s master
master
December 11, 2023 14:58 1m 30s
steensgaard analysis & test_eq_ref CI #1: Commit 69ad94e pushed by Medowhill
December 11, 2023 14:06 1m 16s master
master
December 11, 2023 14:06 1m 16s