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

Fix unfree evaluation Build and populate cache #237: Pull request #7 synchronize by mistzzt
October 28, 2024 05:04 1m 44s fix-unfree
fix-unfree
October 28, 2024 05:04 1m 44s
Fix unfree evaluation Build and populate cache #236: Pull request #7 opened by mistzzt
October 28, 2024 04:58 45s fix-unfree
fix-unfree
October 28, 2024 04:58 45s
Add AutoLifter, Parsynt, and Synduce (#6) Build and populate cache #235: Commit d460854 pushed by mistzzt
October 28, 2024 04:16 53s main
main
October 28, 2024 04:16 53s
Add AutoLifter, Parsynt, and Synduce Build and populate cache #234: Pull request #6 synchronize by mistzzt
October 28, 2024 03:00 18m 59s autolifter
autolifter
October 28, 2024 03:00 18m 59s
Add AutoLifter, Parsynt, and Synduce Build and populate cache #233: Pull request #6 opened by mistzzt
October 28, 2024 02:58 46s autolifter
autolifter
October 28, 2024 02:58 46s
Merge pull request #5 from mistzzt/dependabot/github_actions/cachix/i… Build and populate cache #232: Commit 3eeebdf pushed by mistzzt
October 28, 2024 02:57 54s main
main
October 28, 2024 02:57 54s
Fix CI: AutoLifter depends on unfree Build and populate cache #231: Commit 7c8cc45 pushed by mistzzt
October 28, 2024 02:51 1m 52s main
main
October 28, 2024 02:51 1m 52s
Add AutoLifter, Parsynt, and Synduce Build and populate cache #230: Commit ecacc0c pushed by mistzzt
October 28, 2024 02:42 46s main
main
October 28, 2024 02:42 46s
Build and populate cache Build and populate cache #229: Scheduled
October 27, 2024 07:08 51s main
main
October 27, 2024 07:08 51s
Build and populate cache Build and populate cache #228: Scheduled
October 26, 2024 07:07 54s main
main
October 26, 2024 07:07 54s
Build and populate cache Build and populate cache #227: Scheduled
October 25, 2024 07:08 50s main
main
October 25, 2024 07:08 50s
Build and populate cache Build and populate cache #226: Scheduled
October 24, 2024 07:09 49s main
main
October 24, 2024 07:09 49s
Build and populate cache Build and populate cache #225: Scheduled
October 23, 2024 07:08 51s main
main
October 23, 2024 07:08 51s
Build and populate cache Build and populate cache #224: Scheduled
October 22, 2024 07:10 48s main
main
October 22, 2024 07:10 48s
Build and populate cache Build and populate cache #223: Scheduled
October 21, 2024 07:09 52s main
main
October 21, 2024 07:09 52s
Build and populate cache Build and populate cache #222: Scheduled
October 20, 2024 07:07 49s main
main
October 20, 2024 07:07 49s
Build and populate cache Build and populate cache #221: Scheduled
October 19, 2024 07:08 51s main
main
October 19, 2024 07:08 51s
Build and populate cache Build and populate cache #220: Scheduled
October 18, 2024 07:08 53s main
main
October 18, 2024 07:08 53s
Build and populate cache Build and populate cache #219: Scheduled
October 17, 2024 07:09 50s main
main
October 17, 2024 07:09 50s
Build and populate cache Build and populate cache #218: Scheduled
October 16, 2024 07:09 17m 6s main
main
October 16, 2024 07:09 17m 6s
Build and populate cache Build and populate cache #217: Scheduled
October 15, 2024 07:09 53s main
main
October 15, 2024 07:09 53s
Build and populate cache Build and populate cache #216: Scheduled
October 14, 2024 07:10 51s main
main
October 14, 2024 07:10 51s
Build and populate cache Build and populate cache #215: Scheduled
October 13, 2024 07:07 49s main
main
October 13, 2024 07:07 49s
Build and populate cache Build and populate cache #214: Scheduled
October 12, 2024 07:07 51s main
main
October 12, 2024 07:07 51s
Build and populate cache Build and populate cache #213: Scheduled
October 11, 2024 07:09 51s main
main
October 11, 2024 07:09 51s