Skip to content

Actions: mistzzt/program-synthesis-nur

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
327 workflow runs
327 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build and populate cache
Build and populate cache #27: Scheduled
March 27, 2024 06:57 40s main
March 27, 2024 06:57 40s
Build and populate cache
Build and populate cache #26: Scheduled
March 26, 2024 06:57 43s main
March 26, 2024 06:57 43s
Build and populate cache
Build and populate cache #25: Scheduled
March 25, 2024 06:57 41s main
March 25, 2024 06:57 41s
Build and populate cache
Build and populate cache #24: Scheduled
March 24, 2024 06:57 39s main
March 24, 2024 06:57 39s
Build and populate cache
Build and populate cache #23: Scheduled
March 23, 2024 06:57 17m 24s main
March 23, 2024 06:57 17m 24s
Build and populate cache
Build and populate cache #22: Scheduled
March 22, 2024 06:57 40s main
March 22, 2024 06:57 40s
Build and populate cache
Build and populate cache #21: Scheduled
March 21, 2024 06:57 39s main
March 21, 2024 06:57 39s
Build and populate cache
Build and populate cache #20: Scheduled
March 20, 2024 06:57 38s main
March 20, 2024 06:57 38s
Build and populate cache
Build and populate cache #19: Scheduled
March 19, 2024 06:57 40s main
March 19, 2024 06:57 40s
Build and populate cache
Build and populate cache #18: Scheduled
March 18, 2024 06:57 40s main
March 18, 2024 06:57 40s
Build and populate cache
Build and populate cache #17: Scheduled
March 17, 2024 06:57 40s main
March 17, 2024 06:57 40s
Build and populate cache
Build and populate cache #16: Scheduled
March 16, 2024 06:57 41s main
March 16, 2024 06:57 41s
Build and populate cache
Build and populate cache #15: Scheduled
March 15, 2024 06:57 42s main
March 15, 2024 06:57 42s
Fix sketch not built on x86_64-darwin
Build and populate cache #14: Commit c5be3dd pushed by mistzzt
March 15, 2024 06:35 44s main
March 15, 2024 06:35 44s
Build and populate cache
Build and populate cache #13: Scheduled
March 14, 2024 06:57 49s main
March 14, 2024 06:57 49s
Remove unnecessary chdir in sketch
Build and populate cache #12: Commit 1ac3b02 pushed by mistzzt
March 14, 2024 06:26 17m 32s main
March 14, 2024 06:26 17m 32s
sketch executable now explicitly uses java
Build and populate cache #11: Commit 02adb0b pushed by mistzzt
March 14, 2024 05:51 7m 18s main
March 14, 2024 05:51 7m 18s
Fix sketch not built on aarch64
Build and populate cache #10: Commit 014474f pushed by mistzzt
March 14, 2024 05:28 7m 19s main
March 14, 2024 05:28 7m 19s
Fix dirname missing in sketch
Build and populate cache #9: Commit 98e8a90 pushed by mistzzt
March 13, 2024 23:46 3m 34s main
March 13, 2024 23:46 3m 34s
Fix redpsl not built in linux
Build and populate cache #8: Commit a42c24a pushed by mistzzt
March 13, 2024 21:10 17m 45s main
March 13, 2024 21:10 17m 45s
Build and populate cache
Build and populate cache #7: Scheduled
March 13, 2024 06:57 50s main
March 13, 2024 06:57 50s
update cachix
Build and populate cache #6: Commit 33004cd pushed by mistzzt
March 12, 2024 22:35 13m 30s main
March 12, 2024 22:35 13m 30s
add initial deriv of reduce-algebra
Build and populate cache #5: Commit bbf850a pushed by mistzzt
March 12, 2024 21:31 13m 45s main
March 12, 2024 21:31 13m 45s
update sha256
Build and populate cache #4: Commit 95d7390 pushed by mistzzt
March 12, 2024 03:19 3m 29s main
March 12, 2024 03:19 3m 29s
add fetchurl
Build and populate cache #3: Commit c71fe60 pushed by mistzzt
March 12, 2024 03:14 40s main
March 12, 2024 03:14 40s
ProTip! You can narrow down the results and go further in time using created:<2024-03-12 or the other filters available.