Skip to content

Actions: isabelle-utp/Optics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge remote-tracking branch 'origin/main' .github/workflows/build_2025.yml #4: Commit 7cda703 pushed by simondfoster
June 5, 2025 12:14 1m 42s main
main
June 5, 2025 12:14 1m 42s
Update github action to use cplaursen/isabelle-theory-build-github-ac… .github/workflows/build_2025.yml #3: Commit 7ddeff6 pushed by cplaursen
May 28, 2025 19:05 1m 49s main
main
May 28, 2025 19:05 1m 49s
Bump isabelle-theory-build action to v9 .github/workflows/build_2025.yml #2: Commit f09a3ed pushed by cplaursen
May 28, 2025 17:43 2m 0s main
main
May 28, 2025 17:43 2m 0s
Update and rename build_2023.yml to build_2025.yml .github/workflows/build_2025.yml #1: Commit 087ef4c pushed by cplaursen
May 28, 2025 17:24 2m 19s main
main
May 28, 2025 17:24 2m 19s
Shorten apply-style proofs in Scenes .github/workflows/build_2023.yml #19: Commit 75a10f1 pushed by cplaursen
May 28, 2025 17:07 1m 7s christian-edits
christian-edits
May 28, 2025 17:07 1m 7s
Un-declare basis lens intro rule to fix warning in Alphabet_Scene_Spa… .github/workflows/build_2023.yml #18: Commit 7e7ccda pushed by cplaursen
May 28, 2025 12:57 1m 54s christian-edits
christian-edits
May 28, 2025 12:57 1m 54s
Improve automation for scene_spaces and fix proofs that broke .github/workflows/build_2023.yml #17: Commit b488231 pushed by cplaursen
May 28, 2025 12:54 3m 2s christian-edits
christian-edits
May 28, 2025 12:54 3m 2s
Add introduction and elimination laws to Scene_Spaces .github/workflows/build_2023.yml #16: Commit 6970f9a pushed by cplaursen
May 27, 2025 16:11 1m 55s christian-edits
christian-edits
May 27, 2025 16:11 1m 55s
Add introduction and elimination laws to Scene_Spaces .github/workflows/build_2023.yml #15: Commit 0182504 pushed by cplaursen
May 27, 2025 15:59 3m 12s christian-edits
christian-edits
May 27, 2025 15:59 3m 12s
Fix proof in Frames .github/workflows/build_2023.yml #14: Commit 0b6c7bc pushed by cplaursen
May 27, 2025 15:04 1m 48s christian-edits
christian-edits
May 27, 2025 15:04 1m 48s
Changes for Isabelle 2025 .github/workflows/build_2023.yml #13: Commit 7e4e5c9 pushed by simondfoster
April 29, 2025 12:01 2m 1s main
main
April 29, 2025 12:01 2m 1s
Changes for Isabelle 2025 .github/workflows/build_2023.yml #12: Commit 7e4e5c9 pushed by simondfoster
February 24, 2025 15:30 2m 2s isabelle2025
isabelle2025
February 24, 2025 15:30 2m 2s
Adaptations for Isabelle2024 .github/workflows/build_2023.yml #11: Commit cd177fd pushed by simondfoster
January 3, 2025 11:45 1m 50s main
main
January 3, 2025 11:45 1m 50s
Added "matches" predicate to prisms .github/workflows/build_2023.yml #10: Commit f2636ad pushed by simondfoster
September 10, 2024 10:23 14m 3s main
main
September 10, 2024 10:23 14m 3s
Tidy up of channel type command .github/workflows/build_2023.yml #9: Commit 47edbcd pushed by simondfoster
September 9, 2024 13:51 14m 31s main
main
September 9, 2024 13:51 14m 31s
Completed first version of polymorphic chantype command. Sort constra… .github/workflows/build_2023.yml #8: Commit 4d56eb1 pushed by simondfoster
September 5, 2024 15:36 12m 50s main
main
September 5, 2024 15:36 12m 50s
Added a few more chanrep meta-theorems, to allow extract of channel i… .github/workflows/build_2023.yml #7: Commit 642da08 pushed by simondfoster
August 20, 2024 15:10 14m 22s main
main
August 20, 2024 15:10 14m 22s
Optimised generation of chantyperep proofs, and added generation of p… .github/workflows/build_2023.yml #6: Commit 7803286 pushed by simondfoster
August 19, 2024 21:11 13m 30s main
main
August 19, 2024 21:11 13m 30s
Improved proof efficiency of chantyperep instantiation using meson. .github/workflows/build_2023.yml #5: Commit 5eeb184 pushed by simondfoster
August 2, 2024 20:31 14m 8s main
main
August 2, 2024 20:31 14m 8s
Added code that generates basic infrastructure for channel introspect… .github/workflows/build_2023.yml #4: Commit fdd89c0 pushed by simondfoster
August 2, 2024 10:58 13m 15s main
main
August 2, 2024 10:58 13m 15s
Experiment on representing sets of events over a channel. .github/workflows/build_2023.yml #3: Commit ed437b4 pushed by simondfoster
July 15, 2024 16:14 12m 44s main
main
July 15, 2024 16:14 12m 44s
Merge remote-tracking branch 'origin/main' .github/workflows/build_2023.yml #2: Commit 278495a pushed by simondfoster
July 12, 2024 20:04 13m 3s main
main
July 12, 2024 20:04 13m 3s