Skip to content

Activity

Showing most recent first

Bump cachix/install-nix-action from 26 to 27

dependabot[bot]created dependabot/github_actions/cachix/install-nix-action-27 • 73be715 • 
on May 20, 2024

deploy: fe93101

github-actions[bot]pushed 1 commit to gh-pages • 6bf7448…ea61009 • 
on May 6, 2024

Deleted branch

mmontindeleted update-ghc-963 • 
on May 6, 2024

update ghc 9.6.3 (#20)

Pull request merge
mmontinpushed 1 commit to main • 3a66863…fe93101 • 
on May 6, 2024

update ghc 9.6.3

mmontincreated update-ghc-963 • 329944d • 
on May 6, 2024

deploy: f36a4e2

github-actions[bot]pushed 1 commit to gh-pages • 3b7d21b…6bf7448 • 
on May 6, 2024

Deleted branch

mmontindeleted dependabot/github_actions/peaceiris/actions-gh-pages-4 • 
on May 6, 2024

Bump peaceiris/actions-gh-pages from 3 to 4 (#19)

Pull request merge
mmontinpushed 1 commit to main • 934813d…3a66863 • 
on May 6, 2024

Bump cachix/install-nix-action from 24 to 26 (#18)

Pull request merge
mmontinpushed 1 commit to main • 797c21c…934813d • 
on May 6, 2024

Deleted branch

mmontindeleted dependabot/github_actions/cachix/install-nix-action-26 • 
on May 6, 2024

Deleted branch

mmontindeleted dependabot/github_actions/actions/cache-4 • 
on May 6, 2024

Bump actions/cache from 3 to 4 (#17)

Pull request merge
mmontinpushed 1 commit to main • f36a4e2…797c21c • 
on May 6, 2024

Deleted branch

mmontindeleted mm/account-example • 
on May 6, 2024

Mm/account example (#11)

Pull request merge
mmontinpushed 1 commit to main • 8ac5261…f36a4e2 • 
on May 6, 2024

Bump peaceiris/actions-gh-pages from 3 to 4

dependabot[bot]created dependabot/github_actions/peaceiris/actions-gh-pages-4 • 45e7514 • 
on Apr 8, 2024

Bump cachix/install-nix-action from 24 to 26

dependabot[bot]created dependabot/github_actions/cachix/install-nix-action-26 • 4f46539 • 
on Mar 11, 2024

Bump actions/cache from 3 to 4

dependabot[bot]created dependabot/github_actions/actions/cache-4 • 4209be6 • 
on Jan 22, 2024

Bump cachix/install-nix-action from 24 to 25

dependabot[bot]created dependabot/github_actions/cachix/install-nix-action-25 • cbf554c • 
on Jan 15, 2024

Deleted branch

carlhammanndeleted dependabot/github_actions/actions/upload-artifact-4 • 
on Jan 3, 2024

Bump actions/upload-artifact from 3 to 4

Pull request merge
carlhammannpushed 1 commit to main • 2d7fbd8…8ac5261 • 
on Jan 3, 2024

Bump actions/upload-artifact from 3 to 4

dependabot[bot]created dependabot/github_actions/actions/upload-artifact-4 • 6726bbd • 
on Dec 18, 2023

Deleted branch

carlhammanndeleted dependabot/github_actions/cachix/install-nix-action-24 • 
on Dec 11, 2023

Bump cachix/install-nix-action from 23 to 24

Pull request merge
carlhammannpushed 1 commit to main • 2fdd79f…2d7fbd8 • 
on Dec 11, 2023

Bump cachix/install-nix-action from 23 to 24

dependabot[bot]created dependabot/github_actions/cachix/install-nix-action-24 • bfccec3 • 
on Dec 4, 2023

minor change

mmontinpushed 1 commit to mm/account-example • fed4035…80c62d1 • 
on Oct 27, 2023

adding new scenarii

mmontinpushed 1 commit to mm/account-example • 489411a…fed4035 • 
on Oct 26, 2023

higher order interpretation function for accounts

mmontinpushed 1 commit to mm/account-example • 113158d…489411a • 
on Sep 21, 2023

Deleted branch

carlhammanndeleted dependabot/github_actions/cachix/install-nix-action-23 • 
on Sep 18, 2023

Bump cachix/install-nix-action from 22 to 23

Pull request merge
carlhammannpushed 1 commit to main • 6e9b8a8…2fdd79f • 
on Sep 18, 2023