All workflows

Workflow runs

• pin leansubst version

  failed:
  Build the project and deploy to GitHub Pages#26:Commit28e48dbpushedbyamarmaduke
  main

  Jun 24, 202645s
  More actions for workflow run 26

• pin leansubst version

  failed:
  Lean Action CI#34:Commit28e48dbpushedbyamarmaduke
  main

  Jun 24, 202644s
  More actions for workflow run 34

• cleaned up some lemmas

  failed:
  Lean Action CI#33:Commitc8bcea7pushedbyJasonAlanVeenendaal
  main

  May 14, 202646s
  More actions for workflow run 33

• cleaned up some lemmas

  failed:
  Build the project and deploy to GitHub Pages#25:Commitc8bcea7pushedbyJasonAlanVeenendaal
  main

  May 14, 202652s
  More actions for workflow run 25

• finished proving fundamental

  failed:
  Lean Action CI#32:Commit4126074pushedbyJasonAlanVeenendaal
  main

  May 14, 202642s
  More actions for workflow run 32

• finished proving fundamental

  failed:
  Build the project and deploy to GitHub Pages#24:Commit4126074pushedbyJasonAlanVeenendaal
  main

  May 14, 202644s
  More actions for workflow run 24

• Merge branch 'main' of github.com:amarmaduke/lean-stlc

  failed:
  Build the project and deploy to GitHub Pages#23:Commit411c4d2pushedbyJasonAlanVeenendaal
  main

  May 13, 202642s
  More actions for workflow run 23

• Merge branch 'main' of github.com:amarmaduke/lean-stlc

  failed:
  Lean Action CI#31:Commit411c4d2pushedbyJasonAlanVeenendaal
  main

  May 13, 202647s
  More actions for workflow run 31

• add dev container

  failed:
  Lean Action CI#30:Commit4fde837pushedbyamarmaduke
  main

  May 13, 202648s
  More actions for workflow run 30

• add dev container

  failed:
  Build the project and deploy to GitHub Pages#22:Commit4fde837pushedbyamarmaduke
  main

  May 13, 202646s
  More actions for workflow run 22

• added case, products, and unit

  failed:
  Build the project and deploy to GitHub Pages#21:Commit4361e6apushedbyJasonAlanVeenendaal
  main

  May 12, 20261m 1s
  More actions for workflow run 21

• added case, products, and unit

  failed:
  Lean Action CI#29:Commit4361e6apushedbyJasonAlanVeenendaal
  main

  May 12, 202648s
  More actions for workflow run 29

• added plus and proved fundamental

  failed:
  Lean Action CI#28:Commita478919pushedbyJasonAlanVeenendaal
  main

  May 8, 202643s
  More actions for workflow run 28

• added plus and proved fundamental

  failed:
  Build the project and deploy to GitHub Pages#20:Commita478919pushedbyJasonAlanVeenendaal
  main

  May 8, 202644s
  More actions for workflow run 20

• work on strong norm

  failed:
  Lean Action CI#27:Commit2ec4c7cpushedbyamarmaduke
  main

  Apr 28, 202653s
  More actions for workflow run 27

• work on strong norm

  failed:
  Build the project and deploy to GitHub Pages#19:Commit2ec4c7cpushedbyamarmaduke
  main

  Apr 28, 202638s
  More actions for workflow run 19

• removed \McR from SnNor

  failed:
  Lean Action CI#26:Commitff2f044pushedbyJasonAlanVeenendaal
  main

  Apr 28, 202635s
  More actions for workflow run 26

• removed \McR from SnNor

  failed:
  Build the project and deploy to GitHub Pages#18:Commitff2f044pushedbyJasonAlanVeenendaal
  main

  Apr 28, 202647s
  More actions for workflow run 18

• broken mess for jason

  failed:
  Build the project and deploy to GitHub Pages#17:Commitf127379pushedbyamarmaduke
  main

  Mar 30, 202636s
  More actions for workflow run 17

• broken mess for jason

  failed:
  Lean Action CI#25:Commitf127379pushedbyamarmaduke
  main

  Mar 30, 202644s
  More actions for workflow run 25

• more cleanup

  failed:
  Lean Action CI#24:Commit9c82688pushedbyamarmaduke
  main

  Mar 25, 202644s
  More actions for workflow run 24

• more cleanup

  failed:
  Build the project and deploy to GitHub Pages#16:Commit9c82688pushedbyamarmaduke
  main

  Mar 25, 202642s
  More actions for workflow run 16

• more cleanup

  failed:
  Lean Action CI#23:Commit9c82688pushedbyamarmaduke
  andrew

  Mar 25, 202656s
  More actions for workflow run 23

• refactor proofs to agda-style

  failed:
  Lean Action CI#22:Commit6e127b2pushedbyamarmaduke
  andrew

  Mar 24, 202642s
  More actions for workflow run 22

• fix SNi proofs

  failed:
  Lean Action CI#21:Commit284bc73pushedbyamarmaduke
  andrew

  Mar 23, 202640s
  More actions for workflow run 21