Skip to content

Activity

Merge pull request #25 from rmatthes/githubactionsv4

Pull request merge
nmvdwpushed 2 commits to master • 04fb22b…794c5de • 
on Feb 8

Merge pull request #24 from arnoudvanderleer/rename-category-packages

Pull request merge
nmvdwpushed 2 commits to master • 0c825af…04fb22b • 
on Feb 7

Merge pull request #23 from UniMath/update-grpdhits

Pull request merge
benediktahrenspushed 2 commits to master • cb5a9af…0c825af • 
on Oct 5, 2023

Fixing grpdhits

nmvdwcreated update-grpdhits • afd6dbf • 
on Oct 5, 2023

Merge pull request #20 from m-lindgren/ci-grpdhits

Pull request merge
benediktahrenspushed 2 commits to master • 00ee700…cb5a9af • 
on Mar 12, 2023

Create build-grpdhits.yml

m-lindgrenpushed 1 commit to master • 9ec3a7b…00ee700 • 
on Mar 12, 2023

Deleted branch

m-lindgrendeleted m-lindgren-patch-1 • 
on Mar 12, 2023

Create main.yml

m-lindgrencreated m-lindgren-patch-1 • 55a108f • 
on Mar 12, 2023

Deleted branch

m-lindgrendeleted m-lindgren-patch-1 • 
on Mar 12, 2023

Deleted branch

m-lindgrendeleted m-lindgren-patch-1-1 • 
on Mar 12, 2023

Create main.yml

m-lindgrencreated m-lindgren-patch-1-1 • 7586279 • 
on Mar 12, 2023

Create build-grpdhits.yml

m-lindgrencreated m-lindgren-patch-1 • fc011f5 • 
on Mar 12, 2023