Skip to content

Actions: nim-lang/sat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #904496199 Dependabot Updates #15: by dependabot bot
October 21, 2024 21:10 34s
October 21, 2024 21:10 34s
github_actions in /. - Update #900939304 Dependabot Updates #14: by dependabot bot
October 14, 2024 21:42 40s
October 14, 2024 21:42 40s
github_actions in /. - Update #897353730 Dependabot Updates #13: by dependabot bot
October 7, 2024 22:01 42s
October 7, 2024 22:01 42s
github_actions in /. - Update #893433945 Dependabot Updates #12: by dependabot bot
September 30, 2024 21:56 32s
September 30, 2024 21:56 32s
github_actions in /. - Update #889722986 Dependabot Updates #11: by dependabot bot
September 23, 2024 22:08 31s
September 23, 2024 22:08 31s
github_actions in /. - Update #889673767 Dependabot Updates #10: by dependabot bot
September 23, 2024 21:12 32s
September 23, 2024 21:12 32s
github_actions in /. - Update #885730769 Dependabot Updates #9: by dependabot bot
September 16, 2024 22:02 40s
September 16, 2024 22:02 40s
github_actions in /. - Update #881560646 Dependabot Updates #8: by dependabot bot
September 9, 2024 21:09 36s
September 9, 2024 21:09 36s
github_actions in /. - Update #878213713 Dependabot Updates #7: by dependabot bot
September 2, 2024 21:25 32s
September 2, 2024 21:25 32s
github_actions in /. - Update #874502748 Dependabot Updates #6: by dependabot bot
August 26, 2024 21:31 38s
August 26, 2024 21:31 38s
github_actions in /. - Update #871397051 Dependabot Updates #5: by dependabot bot
August 19, 2024 21:06 42s
August 19, 2024 21:06 42s
github_actions in /. - Update #868504990 Dependabot Updates #4: by dependabot bot
August 12, 2024 21:18 42s
August 12, 2024 21:18 42s
github_actions in /. - Update #865499081 Dependabot Updates #3: by dependabot bot
August 5, 2024 21:26 34s
August 5, 2024 21:26 34s
github_actions in /. - Update #862154250 Dependabot Updates #2: by dependabot bot
July 29, 2024 21:42 35s
July 29, 2024 21:42 35s
github_actions in /. - Update #859162273 Dependabot Updates #1: by dependabot bot
July 22, 2024 21:59 37s
July 22, 2024 21:59 37s
Merge pull request #5 from elcritch/no-sat-stacktrace sat ci #18: Commit faf1617 pushed by Araq
March 27, 2024 09:46 1m 3s master
master
March 27, 2024 09:46 1m 3s
Disable stacktrace on SAT solver sat ci #17: Pull request #5 opened by elcritch
March 26, 2024 21:42 1m 2s elcritch:no-sat-stacktrace
elcritch:no-sat-stacktrace
March 26, 2024 21:42 1m 2s
Merge pull request #3 from elcritch/pr-add-recursion-limit-check-erro… sat ci #16: Commit f1caae4 pushed by Araq
March 14, 2024 12:14 1m 8s master
master
March 14, 2024 12:14 1m 8s
Pr add recursion limit check error code sat ci #15: Pull request #3 synchronize by elcritch
March 14, 2024 12:08 53s elcritch:pr-add-recursion-limit-check-error-code
elcritch:pr-add-recursion-limit-check-error-code
March 14, 2024 12:08 53s
Pr add recursion limit check error code sat ci #14: Pull request #3 synchronize by elcritch
March 13, 2024 13:50 1m 7s elcritch:pr-add-recursion-limit-check-error-code
elcritch:pr-add-recursion-limit-check-error-code
March 13, 2024 13:50 1m 7s
Pr add recursion limit check (exception) sat ci #11: Pull request #2 synchronize by elcritch
March 13, 2024 13:41 1m 58s elcritch:pr-add-recursion-limit-check
elcritch:pr-add-recursion-limit-check
March 13, 2024 13:41 1m 58s
Pr add recursion limit check (exception) sat ci #5: Pull request #2 opened by elcritch
March 13, 2024 12:49 1m 7s elcritch:pr-add-recursion-limit-check
elcritch:pr-add-recursion-limit-check
March 13, 2024 12:49 1m 7s
Merge pull request #1 from nim-lang/pr_init sat ci #4: Commit ff49b7d pushed by ringabout
March 5, 2024 12:17 57s master
master
March 5, 2024 12:17 57s
init sat sat ci #3: Pull request #1 opened by ringabout
March 5, 2024 12:16 1m 7s pr_init
pr_init
March 5, 2024 12:16 1m 7s
fixes names sat ci #2: Commit d6d992b pushed by ringabout
March 5, 2024 12:16 1m 6s pr_init
pr_init
March 5, 2024 12:16 1m 6s