Skip to content

Actions: katydid/regex-deriv-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
230 workflow runs
230 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

replace Tipe with Tipe2 Check Proofs #355: Commit 51f1ebd pushed by awalterschulze
August 23, 2024 14:28 7m 11s main
main
August 23, 2024 14:28 7m 11s
more cleanup for tipe2 Check Proofs #354: Commit beeee8a pushed by awalterschulze
August 23, 2024 14:23 7m 19s main
main
August 23, 2024 14:23 7m 19s
remove algebra Check Proofs #353: Pull request #90 opened by awalterschulze
August 23, 2024 14:23 7m 23s remove_algebra
remove_algebra
August 23, 2024 14:23 7m 23s
remove algebra Check Proofs #352: Commit 2e16ec9 pushed by awalterschulze
August 23, 2024 14:23 7m 9s remove_algebra
remove_algebra
August 23, 2024 14:23 7m 9s
Cleanup of Tipe2 Check Proofs #351: Pull request #89 opened by awalterschulze
August 23, 2024 14:14 7m 18s tipe2
tipe2
August 23, 2024 14:14 7m 18s
more cleanup for tipe2 Check Proofs #350: Commit 13bba09 pushed by awalterschulze
August 23, 2024 14:13 7m 3s tipe2
tipe2
August 23, 2024 14:13 7m 3s
Merge pull request #86 from katydid/update_lean_411r2 Check Proofs #349: Commit 0538399 pushed by awalterschulze
August 23, 2024 11:35 7m 18s main
main
August 23, 2024 11:35 7m 18s
update lean to 4.11rc2 Check Proofs #348: Pull request #86 synchronize by awalterschulze
August 23, 2024 11:21 7m 8s update_lean_411r2
update_lean_411r2
August 23, 2024 11:21 7m 8s
fix for wreck exists unknown tactic issue Check Proofs #347: Commit 33c67f5 pushed by awalterschulze
August 23, 2024 11:21 7m 23s update_lean_411r2
update_lean_411r2
August 23, 2024 11:21 7m 23s
update lean to 4.11rc2 Check Proofs #346: Pull request #86 synchronize by awalterschulze
August 23, 2024 10:25 7m 10s update_lean_411r2
update_lean_411r2
August 23, 2024 10:25 7m 10s
Merge branch 'main' into update_lean_411r2 Check Proofs #345: Commit 0d22bee pushed by awalterschulze
August 23, 2024 10:25 7m 16s update_lean_411r2
update_lean_411r2
August 23, 2024 10:25 7m 16s
prepare for lean update 2 Check Proofs #344: Commit 53e7881 pushed by awalterschulze
August 23, 2024 10:18 6m 42s main
main
August 23, 2024 10:18 6m 42s
prepare for lean update 2 Check Proofs #343: Pull request #88 opened by awalterschulze
August 23, 2024 09:40 7m 0s prepare_for_lean_update2
prepare_for_lean_update2
August 23, 2024 09:40 7m 0s
prepare for lean update 2 Check Proofs #342: Commit 479f582 pushed by awalterschulze
August 23, 2024 09:40 6m 41s prepare_for_lean_update2
prepare_for_lean_update2
August 23, 2024 09:40 6m 41s
update lean to 4.11rc2 Check Proofs #341: Pull request #86 synchronize by awalterschulze
August 23, 2024 09:38 7m 6s update_lean_411r2
update_lean_411r2
August 23, 2024 09:38 7m 6s
Merge branch 'main' into update_lean_411r2 Check Proofs #340: Commit 1c8a985 pushed by awalterschulze
August 23, 2024 09:38 7m 10s update_lean_411r2
update_lean_411r2
August 23, 2024 09:38 7m 10s
prepare for lean update Check Proofs #339: Commit 09fcce7 pushed by awalterschulze
August 23, 2024 09:36 6m 55s main
main
August 23, 2024 09:36 6m 55s
prepare for lean update Check Proofs #338: Pull request #87 opened by awalterschulze
August 23, 2024 09:24 6m 44s prepare_for_lean_update
prepare_for_lean_update
August 23, 2024 09:24 6m 44s
prepare for lean update Check Proofs #337: Commit b27db9c pushed by awalterschulze
August 23, 2024 09:24 6m 46s prepare_for_lean_update
prepare_for_lean_update
August 23, 2024 09:24 6m 46s
update lean to 4.11rc2 Check Proofs #336: Pull request #86 synchronize by awalterschulze
August 23, 2024 08:56 7m 1s update_lean_411r2
update_lean_411r2
August 23, 2024 08:56 7m 1s
fix lints Check Proofs #335: Commit 8a885a3 pushed by awalterschulze
August 23, 2024 08:56 7m 5s update_lean_411r2
update_lean_411r2
August 23, 2024 08:56 7m 5s
update lean to 4.11rc2 Check Proofs #334: Pull request #86 opened by awalterschulze
August 23, 2024 08:43 7m 3s update_lean_411r2
update_lean_411r2
August 23, 2024 08:43 7m 3s
update lean to 4.11rc2 Check Proofs #333: Commit 3789860 pushed by awalterschulze
August 23, 2024 08:42 7m 4s update_lean_411r2
update_lean_411r2
August 23, 2024 08:42 7m 4s
Alternative proof of list_drop_app Check Proofs #332: Commit 8661718 pushed by awalterschulze
August 22, 2024 09:48 6m 55s main
main
August 22, 2024 09:48 6m 55s
Alternative proof of list_drop_app Check Proofs #331: Pull request #85 opened by awalterschulze
August 22, 2024 09:40 6m 55s list_drop_app2
list_drop_app2
August 22, 2024 09:40 6m 55s