Skip to content

Actions: mistzzt/program-synthesis-nur

Actions

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

Fix unfree evaluation (#7) Build and populate cache #238: Commit 3df671b pushed by mistzzt
October 28, 2024 05:07 19m 22s main
main
October 28, 2024 05:07 19m 22s
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
github_actions in /. - Update #903966083 Dependabot Updates #14: by dependabot bot
October 21, 2024 08:23 35s main
main
October 21, 2024 08:23 35s
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
github_actions in /. - Update #900385388 Dependabot Updates #13: by dependabot bot
October 14, 2024 08:40 39s main
main
October 14, 2024 08:40 39s
Build and populate cache Build and populate cache #216: Scheduled
October 14, 2024 07:10 51s main
main
October 14, 2024 07:10 51s