Skip to content

Actions: FormalizedFormalLogic/Book

Deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

rename
Deploy #24: Commit 2ea2d32 pushed by iehality
September 23, 2024 17:01 3m 10s main
September 23, 2024 17:01 3m 10s
refactor
Deploy #23: Commit 3bc783a pushed by iehality
September 14, 2024 17:16 36s main
September 14, 2024 17:16 36s
link fix
Deploy #22: Commit e1d33a5 pushed by iehality
September 14, 2024 17:01 36s main
September 14, 2024 17:01 36s
G1
Deploy #21: Commit 5cdd3b6 pushed by iehality
September 14, 2024 16:56 37s main
September 14, 2024 16:56 37s
Fix typos (#6)
Deploy #20: Commit 2e761a2 pushed by SnO2WMaN
September 12, 2024 12:46 40s main
September 12, 2024 12:46 40s
goedel2 wip
Deploy #19: Commit ef91953 pushed by iehality
September 10, 2024 07:03 47s main
September 10, 2024 07:03 47s
G2
Deploy #18: Commit c1cd584 pushed by iehality
September 4, 2024 09:25 3m 19s main
September 4, 2024 09:25 3m 19s
Fix typos
Deploy #17: Pull request #6 opened by pitmonticone
August 31, 2024 20:17 22s pitmonticone:fix-typos
August 31, 2024 20:17 22s
fix
Deploy #16: Commit 61719af pushed by iehality
August 16, 2024 17:22 39s main
August 16, 2024 17:22 39s
add Arithmetization import graph
Deploy #15: Commit d67f6e1 pushed by iehality
August 16, 2024 17:15 3m 8s main
August 16, 2024 17:15 3m 8s
fix: Link broken in Arithmetics
Deploy #14: Commit f90bfb0 pushed by SnO2WMaN
July 26, 2024 16:57 41s main
July 26, 2024 16:57 41s
ci: Fix job name
Deploy #13: Commit 8f509d5 pushed by SnO2WMaN
July 26, 2024 16:53 37s main
July 26, 2024 16:53 37s
chore: Fix README link
Deploy #12: Pull request #4 opened by SnO2WMaN
July 26, 2024 16:51 19s fix-readme-link
July 26, 2024 16:51 19s
docs: Fix links (#3)
Deploy #11: Commit f142240 pushed by SnO2WMaN
July 26, 2024 16:49 38s main
July 26, 2024 16:49 38s
docs: Fix links
Deploy #10: Pull request #3 synchronize by SnO2WMaN
July 26, 2024 16:47 19s rewrite-links
July 26, 2024 16:47 19s
docs: Fix links
Deploy #9: Pull request #3 opened by SnO2WMaN
July 26, 2024 16:29 24s rewrite-links
July 26, 2024 16:29 24s
chore: Add License (#2)
Deploy #8: Commit 14cf9f0 pushed by iehality
July 26, 2024 10:40 41s main
July 26, 2024 10:40 41s
chore: Fix README link
Deploy #7: Commit 048777d pushed by SnO2WMaN
July 25, 2024 22:01 39s main
July 25, 2024 22:01 39s
Detect pull request in CI
Deploy #6: Commit 23bab59 pushed by SnO2WMaN
July 25, 2024 21:45 49s main
July 25, 2024 21:45 49s
Update README
Deploy #5: Commit 8bd7073 pushed by SnO2WMaN
July 25, 2024 21:20 55s main
July 25, 2024 21:20 55s
fx
Deploy #4: Commit fd3aa7d pushed by SnO2WMaN
July 25, 2024 21:04 41s main
July 25, 2024 21:04 41s
Add README.md
Deploy #3: Commit 5ab9a5d pushed by SnO2WMaN
July 25, 2024 20:55 36s main
July 25, 2024 20:55 36s
?
Deploy #2: Commit 05af3c1 pushed by SnO2WMaN
July 25, 2024 20:38 35s main
July 25, 2024 20:38 35s