Skip to content

Actions: m4lvin/lean4-pdl

Actions

Codespaces Prebuilds

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
Showing all prebuild configuration runs for Codespaces. Learn about prebuilding your codespaces.
57 workflow runs
57 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[main]: use newer Lean and mathlib versions Codespaces Prebuilds #7: by github-codespaces bot
December 18, 2023 15:19 8m 36s
December 18, 2023 15:19 8m 36s
[main]: Merge DagTab: use dagger tableaux instead of an unravel function Codespaces Prebuilds #6: by github-codespaces bot
December 17, 2023 13:36 8m 17s
December 17, 2023 13:36 8m 17s
[main]: add Bml readme Codespaces Prebuilds #5: by github-codespaces bot
December 17, 2023 11:14 10m 10s
December 17, 2023 11:14 10m 10s
[main]: edit readme Codespaces Prebuilds #4: by github-codespaces bot
November 29, 2023 16:17 10m 29s
November 29, 2023 16:17 10m 29s
[main]: clean up Bml a bit Codespaces Prebuilds #3: by github-codespaces bot
November 29, 2023 11:17 9m 2s
November 29, 2023 11:17 9m 2s
[main]: one easy sorry Codespaces Prebuilds #2: by github-codespaces bot
November 13, 2023 21:08 8m 36s
November 13, 2023 21:08 8m 36s
[main]: deal with splitting local rules Codespaces Prebuilds #1: by github-codespaces bot
November 13, 2023 08:39 9m 50s
November 13, 2023 08:39 9m 50s