Skip to content

Actions: PatrickMassot/std4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: More extended binders for sets. ci #12: Commit 2b8ec8e pushed by PatrickMassot
October 26, 2023 16:24 2m 39s pm_binder_syntax
pm_binder_syntax
October 26, 2023 16:24 2m 39s
Merge branch 'main' into pm_json_macro ci #11: Commit 381d7a0 pushed by digama0
October 13, 2023 16:23 2m 23s pm_json_macro
pm_json_macro
October 13, 2023 16:23 2m 23s
chore: use functions from #282 ci #10: Commit ca82116 pushed by digama0
October 10, 2023 00:51 3m 14s pm_json_macro
pm_json_macro
October 10, 2023 00:51 3m 14s
chore: Rename ff_ne_tt to false_ne_true ci #9: Commit 757237f pushed by PatrickMassot
October 9, 2023 18:12 3m 10s ff_ne_tt
ff_ne_tt
October 9, 2023 18:12 3m 10s
Apply suggestions from code review ci #8: Commit 8bfe1b2 pushed by PatrickMassot
October 5, 2023 00:44 2m 37s pm_json_macro
pm_json_macro
October 5, 2023 00:44 2m 37s
Fix quotation and remove scoped ci #7: Commit 8487e55 pushed by PatrickMassot
October 4, 2023 22:40 2m 31s pm_json_macro
pm_json_macro
October 4, 2023 22:40 2m 31s
Update Std/Data/Json.lean ci #6: Commit c97184d pushed by PatrickMassot
September 20, 2023 13:21 2m 36s pm_json_macro
pm_json_macro
September 20, 2023 13:21 2m 36s
Fix namespace and move instances. ci #5: Commit a7dd709 pushed by PatrickMassot
September 20, 2023 01:08 2m 29s pm_json_macro
pm_json_macro
September 20, 2023 01:08 2m 29s
Forgotten update of Std.lean ci #4: Commit be19de1 pushed by PatrickMassot
September 20, 2023 01:07 2m 32s pm_json_macro
pm_json_macro
September 20, 2023 01:07 2m 32s
Fix test. ci #3: Commit 45c1724 pushed by PatrickMassot
September 20, 2023 01:03 2m 29s pm_json_macro
pm_json_macro
September 20, 2023 01:03 2m 29s
Fix namespace and move instances. ci #2: Commit 55d1ac0 pushed by PatrickMassot
September 20, 2023 00:54 2m 14s pm_json_macro
pm_json_macro
September 20, 2023 00:54 2m 14s
feat: add the json% macro from ProofWidgets4 ci #1: Commit c8fd707 pushed by PatrickMassot
September 19, 2023 18:27 2m 28s pm_json_macro
pm_json_macro
September 19, 2023 18:27 2m 28s