Skip to content

Activity

Showing most recent first

[agda] minor restructure

flogthpushed 1 commit to main • 0cdcffd…46bf415 • 
on Feb 13

[meta] mention html deployment

flogthpushed 1 commit to main • e06766d…0cdcffd • 
on Feb 12

Update pages.yml

flogthpushed 1 commit to main • da5cc78…e06766d • 
on Feb 12

Update pages.yml

flogthpushed 1 commit to main • 3c9d506…da5cc78 • 
on Feb 12

Update pages.yml

flogthpushed 1 commit to main • 88d9df9…3c9d506 • 
on Feb 12

Update pages.yml

flogthpushed 1 commit to main • b897e5c…88d9df9 • 
on Feb 12

[meta] try ci

flogthpushed 1 commit to main • 2086699…b897e5c • 
on Feb 12

[meta] rm unused files

Force push
flogthforce pushed to main • 290f7e3…2086699 • 
on Jan 28

[meta] rm unused files

flogthpushed 2 commits to main • c604917…290f7e3 • 
on Jan 28

[meta] add .mailmap

flogthcreated main • c604917 • 
on Jan 28