Skip to content

Actions: GasStationManager/CodeProofTheArena

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
56 workflow runs
56 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

word wrap Lean Action CI #56: Commit 2470c19 pushed by GasStationManager
December 3, 2024 10:26 1m 23s main
main
December 3, 2024 10:26 1m 23s
import_challenges: deal with property def Lean Action CI #55: Commit 5dbd820 pushed by GasStationManager
December 3, 2024 08:53 1m 25s main
main
December 3, 2024 08:53 1m 25s
challenge description formatting Lean Action CI #54: Commit 599b3fa pushed by GasStationManager
December 3, 2024 08:31 1m 31s main
main
December 3, 2024 08:31 1m 31s
code contests autoformalized challenges Lean Action CI #53: Commit 174e514 pushed by GasStationManager
December 3, 2024 08:14 1m 57s main
main
December 3, 2024 08:14 1m 57s
instructions re import Lean Action CI #52: Commit a1575c8 pushed by GasStationManager
November 25, 2024 00:35 1m 30s main
main
November 25, 2024 00:35 1m 30s
typo judge Lean Action CI #51: Commit f8c4599 pushed by GasStationManager
November 24, 2024 22:21 1m 26s main
main
November 24, 2024 22:21 1m 26s
no longer import mathlib by default Lean Action CI #50: Commit f7692c4 pushed by GasStationManager
November 24, 2024 22:06 1m 29s main
main
November 24, 2024 22:06 1m 29s
update from easy benchmark Lean Action CI #49: Commit 3037492 pushed by GasStationManager
November 24, 2024 14:23 1m 23s main
main
November 24, 2024 14:23 1m 23s
var edit_challenge Lean Action CI #48: Commit eb40db5 pushed by GasStationManager
November 24, 2024 12:43 2m 0s main
main
November 24, 2024 12:43 2m 0s
typo var edit_challenge Lean Action CI #47: Commit 0fe26d6 pushed by GasStationManager
November 24, 2024 12:38 1m 49s main
main
November 24, 2024 12:38 1m 49s
layout edit_challenge Lean Action CI #46: Commit ca7193a pushed by GasStationManager
November 24, 2024 12:29 1m 27s main
main
November 24, 2024 12:29 1m 27s
add the file Lean Action CI #45: Commit 7c53f40 pushed by GasStationManager
November 24, 2024 12:00 1m 24s main
main
November 24, 2024 12:00 1m 24s
edit_challenge page Lean Action CI #44: Commit 002ae32 pushed by GasStationManager
November 24, 2024 11:59 2m 12s main
main
November 24, 2024 11:59 2m 12s
New judging system by integrating safeverify (#3) Lean Action CI #43: Commit 9c73a92 pushed by GasStationManager
November 24, 2024 11:09 1m 52s main
main
November 24, 2024 11:09 1m 52s
New judging system by integrating safeverify Lean Action CI #42: Pull request #3 opened by GasStationManager
November 24, 2024 11:06 1m 51s new-judging-system-by-integrating-safeverify
new-judging-system-by-integrating-safeverify
November 24, 2024 11:06 1m 51s
typos Lean Action CI #41: Commit c2f711b pushed by GasStationManager
November 24, 2024 10:25 1m 31s new-judging-system-by-integrating-safeverify
new-judging-system-by-integrating-safeverify
November 24, 2024 10:25 1m 31s
typo judge 2 Lean Action CI #40: Commit ca91ead pushed by GasStationManager
November 24, 2024 09:55 1m 51s new-judging-system-by-integrating-safeverify
new-judging-system-by-integrating-safeverify
November 24, 2024 09:55 1m 51s
typo judge Lean Action CI #39: Commit 80375b8 pushed by GasStationManager
November 24, 2024 09:50 1m 25s new-judging-system-by-integrating-safeverify
new-judging-system-by-integrating-safeverify
November 24, 2024 09:50 1m 25s
temp dir Lean Action CI #38: Commit 6cfe975 pushed by GasStationManager
November 24, 2024 07:52 2m 9s new-judging-system-by-integrating-safeverify
new-judging-system-by-integrating-safeverify
November 24, 2024 07:52 2m 9s
judge dir debug3 Lean Action CI #37: Commit 4d8d918 pushed by GasStationManager
November 24, 2024 07:45 1m 29s new-judging-system-by-integrating-safeverify
new-judging-system-by-integrating-safeverify
November 24, 2024 07:45 1m 29s
judge dir debug2 Lean Action CI #36: Commit 0699abf pushed by GasStationManager
November 24, 2024 07:20 2m 15s new-judging-system-by-integrating-safeverify
new-judging-system-by-integrating-safeverify
November 24, 2024 07:20 2m 15s
judge dir debug Lean Action CI #35: Commit fa3098b pushed by GasStationManager
November 24, 2024 07:18 2m 35s new-judging-system-by-integrating-safeverify
new-judging-system-by-integrating-safeverify
November 24, 2024 07:18 2m 35s
judge dir Lean Action CI #34: Commit d02a5ac pushed by GasStationManager
November 24, 2024 07:11 1m 22s new-judging-system-by-integrating-safeverify
new-judging-system-by-integrating-safeverify
November 24, 2024 07:11 1m 22s
fix typo Lean Action CI #33: Commit c7d9a08 pushed by GasStationManager
November 24, 2024 07:04 1m 44s new-judging-system-by-integrating-safeverify
new-judging-system-by-integrating-safeverify
November 24, 2024 07:04 1m 44s
judge that uses the new logic Lean Action CI #32: Commit dfb761c pushed by GasStationManager
November 24, 2024 06:52 2m 42s new-judging-system-by-integrating-safeverify
new-judging-system-by-integrating-safeverify
November 24, 2024 06:52 2m 42s