Commits

Breadcrumbs

History for

on6e9d5a8

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 14, 2023

• Decrease CI runtime

  malob

  committed
  55f8d0f

  Copy full SHA for 55f8d0f

Commits on Jan 13, 2023

• Update the latest LTS

  malob

  committed
  9181c57

  Copy full SHA for 9181c57

Commits on Jan 10, 2023

• Cleanup Agda packaging

  malob

  committed
  898d710

  Copy full SHA for 898d710

• Use default formatter for Nix files

  malob

  committed
  db3129c

  Copy full SHA for db3129c

Commits on Dec 30, 2022

• reference packages

  JonathanLorimer

  committed
  dc33b82

  Copy full SHA for dc33b82

• add agda bin that works with cornelis

  JonathanLorimer

  committed
  739957d

  Copy full SHA for 739957d

Commits on Nov 1, 2022

• Factor CI into multiple workflows for improved modularity

  Show description for d53888b
  malob

  committed
  d53888b

  Copy full SHA for d53888b

• Add Nix builds to Github workflow

  malob

  committed
  77ee053

  Copy full SHA for 77ee053

• Refactor flake

  Show description for 00ff28f
  malob

  committed
  00ff28f

  Copy full SHA for 00ff28f

Commits on Oct 31, 2022

• Improve Nix Vim plugin packaging

  Show description for b045061
  malob

  committed
  b045061

  Copy full SHA for b045061

Commits on Oct 22, 2022

• change back to name, because they fixed that issue upstream in nixpkgs

  MangoIV

  committed
  2b99d8b

  Copy full SHA for 2b99d8b

Commits on Oct 5, 2022

• remove override for non-existent input, update ouputs to new style, add more ghc versions, add a formatter, change name to pname, update nixpkgs

  MangoIV

  committed
  029c263

  Copy full SHA for 029c263

Commits on Aug 27, 2022

• build(nix): Update flake input nixpkgs

  Show description for 50cf208
  phijor

  committed
  50cf208

  Copy full SHA for 50cf208

Commits on Mar 25, 2022

• Fix unexpected input error

  masaeedu

  committed
  13e822f

  Copy full SHA for 13e822f

• Add flake compat

  masaeedu

  committed
  02636c1

  Copy full SHA for 02636c1

Commits on Feb 7, 2022

• Add global binary option in vim plugin

  Show description for bc88d46
  JonathanLorimer

  committed
  bc88d46

  Copy full SHA for bc88d46

• Distribute vim plugin / app via nix flake

  Show description for 02ec1bf
  JonathanLorimer

  committed
  02ec1bf

  Copy full SHA for 02ec1bf

Loading