Skip to content

Actions: mistzzt/program-synthesis-nur

Actions

Build and populate cache

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
This scheduled workflow is disabled because there hasn't been activity in this repository for at least 60 days. Enable this workflow to resume scheduled runs.
299 workflow runs
299 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Build and populate cache Build and populate cache #387: Scheduled
June 10, 2025 06:59 51s main
main
June 10, 2025 06:59 51s
Build and populate cache Build and populate cache #386: Scheduled
June 9, 2025 07:10 51s main
main
June 9, 2025 07:10 51s
Build and populate cache Build and populate cache #385: Scheduled
June 8, 2025 06:59 50s main
main
June 8, 2025 06:59 50s
Build and populate cache Build and populate cache #384: Scheduled
June 7, 2025 06:59 52s main
main
June 7, 2025 06:59 52s
Build and populate cache Build and populate cache #383: Scheduled
June 6, 2025 07:00 55s main
main
June 6, 2025 07:00 55s
Build and populate cache Build and populate cache #382: Scheduled
June 5, 2025 07:00 50s main
main
June 5, 2025 07:00 50s
Build and populate cache Build and populate cache #381: Scheduled
June 4, 2025 06:59 51s main
main
June 4, 2025 06:59 51s
Build and populate cache Build and populate cache #380: Scheduled
June 3, 2025 07:00 54s main
main
June 3, 2025 07:00 54s
Build and populate cache Build and populate cache #379: Scheduled
June 2, 2025 07:00 51s main
main
June 2, 2025 07:00 51s
Build and populate cache Build and populate cache #378: Scheduled
June 1, 2025 06:59 50s main
main
June 1, 2025 06:59 50s
Build and populate cache Build and populate cache #377: Scheduled
May 31, 2025 06:59 48s main
main
May 31, 2025 06:59 48s
Fix libeusolver.dylib not loaded on darwin Build and populate cache #376: Commit a51fe91 pushed by mistzzt
May 31, 2025 00:24 57s main
main
May 31, 2025 00:24 57s
add eusolver Build and populate cache #375: Commit 7be604d pushed by mistzzt
May 31, 2025 00:15 1m 0s main
main
May 31, 2025 00:15 1m 0s
Build and populate cache Build and populate cache #374: Scheduled
May 30, 2025 06:59 28m 11s main
main
May 30, 2025 06:59 28m 11s
Build and populate cache Build and populate cache #373: Scheduled
May 29, 2025 06:59 50s main
main
May 29, 2025 06:59 50s
Build and populate cache Build and populate cache #372: Scheduled
May 28, 2025 06:59 53s main
main
May 28, 2025 06:59 53s
Build and populate cache Build and populate cache #371: Scheduled
May 27, 2025 06:59 49s main
main
May 27, 2025 06:59 49s
Build and populate cache Build and populate cache #370: Scheduled
May 26, 2025 06:59 49s main
main
May 26, 2025 06:59 49s
Build and populate cache Build and populate cache #369: Scheduled
May 25, 2025 06:59 49s main
main
May 25, 2025 06:59 49s
Build and populate cache Build and populate cache #368: Scheduled
May 24, 2025 06:59 52s main
main
May 24, 2025 06:59 52s
Build and populate cache Build and populate cache #367: Scheduled
May 23, 2025 06:59 50s main
main
May 23, 2025 06:59 50s
Revert to 24.11; use OCaml 5.1 for legacy packages (#11) Build and populate cache #366: Commit 1da2372 pushed by mistzzt
May 22, 2025 23:18 26m 36s main
main
May 22, 2025 23:18 26m 36s
Revert to 24.11; use OCaml 5.1 for legacy packages Build and populate cache #365: Pull request #11 opened by mistzzt
May 22, 2025 23:18 26m 42s fix-build
fix-build
May 22, 2025 23:18 26m 42s
Update README Build and populate cache #364: Commit c4b9ade pushed by mistzzt
May 22, 2025 22:21 1m 30s main
main
May 22, 2025 22:21 1m 30s
Switch to nixpkgs unstable; fix reduce-algebra darwin compilation (#10) Build and populate cache #363: Commit 94ca473 pushed by mistzzt
May 22, 2025 22:18 2m 21s main
main
May 22, 2025 22:18 2m 21s