All workflows

Workflow runs

• CI: bump action versions to latest

  completed successfully:
  build#19:Commitb309dabpushedbyandreasabel
  master

  Apr 24, 20261m 14s
  More actions for workflow run 19

• Bump versions to agda 2.8.0 and stdlib 2.3 (#3)

  failed:
  build#18:Commitff2e084pushedbyandreasabel
  master

  Apr 24, 202612s
  More actions for workflow run 18

• Bump versions to agda 2.8.0 and stdlib 2.3

  completed successfully:
  build#17:Pull request#3synchronizebyjmchapman
  ci-bump-agda

  Apr 23, 20261m 1s
  More actions for workflow run 17

• added flake.lock to .gitignore

  completed successfully:
  build#16:Commit13ce327pushedbyjmchapman
  ci-bump-agda

  Apr 23, 20261m 1s
  More actions for workflow run 16

• removed some commented out stuff

  completed successfully:
  build#15:Commitf5748bbpushedbyjmchapman
  ci-bump-agda

  Apr 23, 20261m 7s
  More actions for workflow run 15

• Bump versions to agda 2.8.0 and stdlib 2.3

  completed successfully:
  build#14:Pull request#3synchronizebyjmchapman
  ci-bump-agda

  Apr 23, 20261m 16s
  More actions for workflow run 14

• switched to Andreas' runner

  completed successfully:
  build#13:Commit7e9f0aapushedbyjmchapman
  ci-bump-agda

  Apr 23, 20261m 29s
  More actions for workflow run 13

• Bump versions to agda 2.8.0 and stdlib 2.3

  failed:
  build#12:Pull request#3openedbyjmchapman
  ci-bump-agda

  Apr 23, 202611s
  More actions for workflow run 12

• src fixes for agda 2.8.0+std-lib 2.3

  failed:
  build#11:Commit4485b53pushedbyjmchapman
  ci-bump-agda

  Apr 23, 20269s
  More actions for workflow run 11

• further bump to agda 2.8.0 and std-lib 2.3

  failed:
  build#10:Commit1bbf87fpushedbyjmchapman
  ci-bump-agda

  Apr 23, 20268s
  More actions for workflow run 10

• bump action versions

  completed successfully:
  build#9:Commitd57dc41pushedbyjmchapman
  ci-bump-agda

  Apr 23, 202626s
  More actions for workflow run 9

• bump action from v3 to v4

  completed successfully:
  build#8:Commit459c51dpushedbyjmchapman
  ci-bump-agda

  Apr 23, 20261m 2s
  More actions for workflow run 8

• bump action from v3 to v4

  failed:
  build#7:Commited6a31epushedbyjmchapman
  ci-bump-agda

  Apr 23, 20267s
  More actions for workflow run 7

• bump agda + std-lib CI pin

  failed:
  build#6:Commit67219bapushedbyjmchapman
  ci-bump-agda

  Apr 23, 202610s
  More actions for workflow run 6