Skip to content

Actions: hhu-adam/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
900 workflow runs
900 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Label stale PRs Label stale PRs #215: Scheduled
August 28, 2024 02:28 11s master
master
August 28, 2024 02:28 11s
PR release PR release #226: completed by joneugster
August 27, 2024 15:46 2s
August 27, 2024 15:46 2s
fix: ignore implementationDetail hyps in rename_i (#5183) CI #226: Commit 4436638 pushed by joneugster
August 27, 2024 15:16 29m 47s master
master
August 27, 2024 15:16 29m 47s
fix: ignore implementationDetail hyps in rename_i (#5183) Update stage0 #12: Commit 4436638 pushed by joneugster
August 27, 2024 15:16 36s master
master
August 27, 2024 15:16 36s
fix: ignore implementationDetail hyps in rename_i (#5183) Nix CI #12: Commit 4436638 pushed by joneugster
August 27, 2024 15:16 38m 56s master
master
August 27, 2024 15:16 38m 56s
PR release PR release #225: completed by joneugster
August 27, 2024 07:06 1s
August 27, 2024 07:06 1s
CI CI #225: Scheduled
August 27, 2024 07:06 22s master
master
August 27, 2024 07:06 22s
Label stale PRs Label stale PRs #214: Scheduled
August 27, 2024 02:27 11s master
master
August 27, 2024 02:27 11s
PR release PR release #224: completed by joneugster
August 26, 2024 14:30 2s
August 26, 2024 14:30 2s
feat: add Bitvec.ofInt_ofNat (#5081) CI #224: Commit c6feffa pushed by joneugster
August 26, 2024 13:42 47m 14s master
master
August 26, 2024 13:42 47m 14s
feat: add Bitvec.ofInt_ofNat (#5081) Nix CI #11: Commit c6feffa pushed by joneugster
August 26, 2024 13:42 49m 53s master
master
August 26, 2024 13:42 49m 53s
feat: add Bitvec.ofInt_ofNat (#5081) Actionlint #9: Commit c6feffa pushed by joneugster
August 26, 2024 13:42 2m 48s master
master
August 26, 2024 13:42 2m 48s
feat: add Bitvec.ofInt_ofNat (#5081) Update stage0 #11: Commit c6feffa pushed by joneugster
August 26, 2024 13:42 33s master
master
August 26, 2024 13:42 33s
PR release PR release #223: completed by joneugster
August 26, 2024 07:07 2s
August 26, 2024 07:07 2s
CI CI #223: Scheduled
August 26, 2024 07:07 25s master
master
August 26, 2024 07:07 25s
Label stale PRs Label stale PRs #213: Scheduled
August 26, 2024 02:27 16s master
master
August 26, 2024 02:27 16s
PR release PR release #222: completed by joneugster
August 25, 2024 07:02 2s
August 25, 2024 07:02 2s
CI CI #222: Scheduled
August 25, 2024 07:02 23s master
master
August 25, 2024 07:02 23s
Label stale PRs Label stale PRs #212: Scheduled
August 25, 2024 02:30 12s master
master
August 25, 2024 02:30 12s
PR release PR release #221: completed by joneugster
August 24, 2024 07:03 2s
August 24, 2024 07:03 2s
CI CI #221: Scheduled
August 24, 2024 07:02 26s master
master
August 24, 2024 07:02 26s
Label stale PRs Label stale PRs #211: Scheduled
August 24, 2024 02:24 13s master
master
August 24, 2024 02:24 13s
PR release PR release #220: completed by joneugster
August 23, 2024 07:07 2s
August 23, 2024 07:07 2s
CI CI #220: Scheduled
August 23, 2024 07:07 20s master
master
August 23, 2024 07:07 20s
Label stale PRs Label stale PRs #210: Scheduled
August 23, 2024 02:26 11s master
master
August 23, 2024 02:26 11s