Commits

Breadcrumbs

History for

ondev

User selector

All users

All time

Commit History

Commits on Mar 4, 2026

• Bump actions/download-artifact from 7 to 8 (#1178)

  Show description for 53d7d92
  dependabot[bot]

  authored
  53d7d92

  Copy full SHA for 53d7d92

• Bump actions/upload-artifact from 6 to 7 (#1177)

  Show description for 9c5d93d
  dependabot[bot]

  authored
  9c5d93d

  Copy full SHA for 9c5d93d

Commits on Jan 19, 2026

• Bump JamesIves/github-pages-deploy-action from 4.7.6 to 4.8.0 (#1167)

  Show description for be518d2
  dependabot[bot]

  authored
  be518d2

  Copy full SHA for be518d2

Commits on Dec 19, 2025

• Bump actions/download-artifact from 6 to 7 (#1154)

  Show description for f3c3a70
  dependabot[bot]

  authored
  f3c3a70

  Copy full SHA for f3c3a70

• Bump JamesIves/github-pages-deploy-action from 4.7.4 to 4.7.6 (#1155)

  Show description for 36da766
  dependabot[bot]

  authored
  36da766

  Copy full SHA for 36da766

• Bump actions/cache from 4 to 5 (#1156)

  Show description for e22a769
  dependabot[bot]

  authored
  e22a769

  Copy full SHA for e22a769

• Bump actions/upload-artifact from 5 to 6 (#1157)

  Show description for e94d631
  dependabot[bot]

  authored
  e94d631

  Copy full SHA for e94d631

Commits on Nov 25, 2025

• Bump actions/checkout from 5 to 6 (#1151)

  Show description for ceeeee5
  dependabot[bot]

  authored
  ceeeee5

  Copy full SHA for ceeeee5

Commits on Nov 11, 2025

• Bump JamesIves/github-pages-deploy-action from 4.7.3 to 4.7.4 (#1147)

  Show description for fbfcb51
  dependabot[bot]

  authored
  fbfcb51

  Copy full SHA for fbfcb51

Commits on Oct 28, 2025

• Bump actions/download-artifact from 5 to 6 (#1139)

  Show description for 6ca867d
  dependabot[bot]

  authored
  6ca867d

  Copy full SHA for 6ca867d

• Bump actions/upload-artifact from 4 to 5 (#1140)

  Show description for 53ae304
  dependabot[bot]

  authored
  53ae304

  Copy full SHA for 53ae304

Commits on Aug 13, 2025

• Bump actions/download-artifact from 4 to 5 (#1125)

  Show description for 18b7681
  dependabot[bot]

  authored
  18b7681

  Copy full SHA for 18b7681

• Bump actions/checkout from 4 to 5 (#1126)

  Show description for f0c4dd4
  dependabot[bot]

  authored
  f0c4dd4

  Copy full SHA for f0c4dd4

Commits on Feb 25, 2025

• Bump JamesIves/github-pages-deploy-action from 4.7.2 to 4.7.3 (#1103)

  Show description for dd63742
  dependabot[bot]

  authored
  dd63742

  Copy full SHA for dd63742

Commits on Dec 10, 2024

• Bump JamesIves/github-pages-deploy-action from 4.7.1 to 4.7.2 (#1076)

  Show description for 4356323
  dependabot[bot]

  authored
  4356323

  Copy full SHA for 4356323

Commits on Dec 2, 2024

• Bump JamesIves/github-pages-deploy-action from 4.6.9 to 4.7.1 (#1074)

  Show description for 6989652
  dependabot[bot]

  authored
  6989652

  Copy full SHA for 6989652

Commits on Nov 12, 2024

• Bump JamesIves/github-pages-deploy-action from 4.6.8 to 4.6.9 (#1065)

  Show description for e90acb3
  dependabot[bot]

  authored
  e90acb3

  Copy full SHA for e90acb3

Commits on Oct 1, 2024

• Bump JamesIves/github-pages-deploy-action from 4.6.4 to 4.6.8 (#1039)

  Show description for 3963819
  dependabot[bot]

  authored
  3963819

  Copy full SHA for 3963819

Commits on Sep 5, 2024

• Update PLFA to use Agda v2.7 (#1028)

  Show description for 7303ffd
  

  wenkokke

  and

  JacquesCarette

  authored
  7303ffd

  Copy full SHA for 7303ffd

Commits on Sep 3, 2024

• Bump JamesIves/github-pages-deploy-action from 4.6.3 to 4.6.4 (#1027)

  Show description for 9549ebd
  dependabot[bot]

  authored
  9549ebd

  Copy full SHA for 9549ebd

Commits on Jul 8, 2024

• Bump JamesIves/github-pages-deploy-action from 4.6.1 to 4.6.3 (#1012)

  Show description for d6468f7
  dependabot[bot]

  authored
  d6468f7

  Copy full SHA for d6468f7

Commits on May 20, 2024

• --- (#999)

  Show description for 1bd6b56
  dependabot[bot]

  authored
  1bd6b56

  Copy full SHA for 1bd6b56

Commits on Apr 22, 2024

• Bump JamesIves/github-pages-deploy-action from 4.5.0 to 4.6.0 (#985)

  Show description for 270dc79
  dependabot[bot]

  authored
  270dc79

  Copy full SHA for 270dc79

Commits on Mar 11, 2024

• Bump softprops/action-gh-release from 1 to 2 (#976)

  Show description for 8f3d7eb
  dependabot[bot]

  authored
  8f3d7eb

  Copy full SHA for 8f3d7eb

Commits on Feb 29, 2024

• Bump actions/cache from 3 to 4 (#954)

  Show description for 7f6f414
  

  dependabot[bot]

  and

  wenkokke

  authored
  7f6f414

  Copy full SHA for 7f6f414

Commits on Jan 7, 2024

• Bump GHC and Cabal versions (#933)

  Show description for 816ac17
  wenkokke

  authored
  816ac17

  Copy full SHA for 816ac17

Commits on Dec 23, 2023

• Bump actions/download-artifact from 3 to 4 (#946)

  Show description for f50f21a
  dependabot[bot]

  authored
  f50f21a

  Copy full SHA for f50f21a

• Bump actions/upload-artifact from 3 to 4 (#945)

  Show description for fffe9d8
  dependabot[bot]

  authored
  fffe9d8

  Copy full SHA for fffe9d8

Commits on Dec 4, 2023

• Bump JamesIves/github-pages-deploy-action from 4.4.3 to 4.5.0 (#943)

  Show description for 1ef434f
  dependabot[bot]

  authored
  1ef434f

  Copy full SHA for 1ef434f

Commits on Sep 14, 2023

• Publish on every push (#910)

  wenkokke

  authored
  a59cb45

  Copy full SHA for a59cb45

Commits on Sep 4, 2023

• Bump actions/checkout from 3 to 4 (#903)

  Show description for 03a5f0a
  dependabot[bot]

  authored
  03a5f0a

  Copy full SHA for 03a5f0a

Commits on Jul 17, 2023

• Bump JamesIves/github-pages-deploy-action from 4.4.2 to 4.4.3 (#890)

  Show description for 46b6164
  dependabot[bot]

  authored
  46b6164

  Copy full SHA for 46b6164

Commits on Jun 13, 2023

• Pin setup-haskell to v2 (#886)

  wenkokke

  authored
  028fb61

  Copy full SHA for 028fb61

Commits on Jun 4, 2023

• Bump Pandoc version 2.19 -> 3 and add GHC 9.6.2 (#882)

  Show description for 4928ae4
  wenkokke

  authored
  4928ae4

  Copy full SHA for 4928ae4

• Bump GHC version 9.2.4 -> 9.2.7, 9.4.4 -> 9.4.5 (#880)

  Show description for 76d42cf
  wenkokke

  authored
  76d42cf

  Copy full SHA for 76d42cf

Pagination

Previous

Next